https://marmamorphism.com/ https://marmamorphism.com/categories/ https://marmamorphism.com/categories/musings/ https://marmamorphism.com/draft/traits-as-type-universes/ 2022-09-26 https://marmamorphism.com/draft/what-is-semantics/ 2022-07-07 https://marmamorphism.com/posts/ https://marmamorphism.com/posts/0-initial-commit/ 2022-06-16 https://marmamorphism.com/posts/1-gobble-wish-list/ 2022-06-19 https://marmamorphism.com/posts/2-program-synthesis-in-idris/ 2023-08-02 https://marmamorphism.com/posts/3-audiobooks-not-reading/ 2025-12-23 https://marmamorphism.com/tags/ https://marmamorphism.com/tags/concatenative/ https://marmamorphism.com/tags/design/ https://marmamorphism.com/tags/ignore/ https://marmamorphism.com/tags/philosophy/ https://marmamorphism.com/tags/semantics/ https://marmamorphism.com/tags/synthesis/