docs/src · monad · Tangled

anders.sorby.xyz / monad

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.

1 folder · 20 files

Anders Christiansen Sørby · lang/termination: honour #[decreasing ...] in both compilers · 2w ago

docs: Perliminary documentation for the language

bootstrap-host.md

docs: correct the claims the test-gap branch left stale

lang: \u{...} escapes, dotted instance names, and an empty syntax table

lang: \u{...} escapes, dotted instance names, and an empty syntax table

dependent-types.md

docs: rewrite the book against the compiler, add a maturity matrix

error-handling.md

docs: rewrite the book against the compiler, add a maturity matrix

getting-started.md

docs: rewrite the book against the compiler, add a maturity matrix

inductive-types.md

lang/module: port strict positivity, the last inductive soundness hole

docs: rewrite the book against the compiler, add a maturity matrix

introduction.md

docs: rewrite the book against the compiler, add a maturity matrix

lang/names: migrate the dotted call sites, and reject a dotted use path

linear-types.md

docs: rewrite the book against the compiler, add a maturity matrix

lang: \u{...} escapes, dotted instance names, and an empty syntax table

lang/termination: honour #[decreasing ...] in both compilers

docs: correct the claims the test-gap branch left stale

lang/typecheck: carry a def's declared params, so its named-call defaults work

lang: \u{...} escapes, dotted instance names, and an empty syntax table

structs-enums.md

lang/typecheck: carry a def's declared params, so its named-call defaults work

docs: rewrite the book against the compiler, add a maturity matrix

lang/termination: honour #[decreasing ...] in both compilers

type-classes.md

docs: rewrite the book against the compiler, add a maturity matrix