ALUX programming guidelines
programming functional-programming type-theory rust-lang programming-languages software-architecture software-design tagless-final compositionality alux mdbook-book denotational-design design-by-meaning
-
Updated
Aug 17, 2026 - CSS