init/src · monad · Tangled

anders.sorby.xyz / monad

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

20 files

Anders Christiansen Sørby · init/prelude: add Sigma, Exists and the first projection · 3w ago

init/runtime: implement the F64 backend, and close the f64 gap family

foldable_tests_fold.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

foldable_tests_semi_monoid.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

foldable_tests.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

build/motes: flatten init, std, lang, slow_tests, bench into <mote>/src

build/motes: flatten init, std, lang, slow_tests, bench into <mote>/src

build/motes: flatten init, std, lang, slow_tests, bench into <mote>/src

build/motes: flatten init, std, lang, slow_tests, bench into <mote>/src

build/motes: flatten init, std, lang, slow_tests, bench into <mote>/src

build/motes: flatten init, std, lang, slow_tests, bench into <mote>/src

lang/scope: enforce priv, and warn on cross-mote package-private

number_tests.mo

runtime/codegen: wire the last six U64 natives, and sweep bench

init/runtime: implement the F64 backend, and close the f64 gap family

optics_tests.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

lang/scope: enforce priv, and warn on cross-mote package-private

init/prelude: add Sigma, Exists and the first projection

string_profile.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

lang/scope: enforce priv, and warn on cross-mote package-private

test_constraints.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

lang/parser: use `::` in use paths, and `lib::` within a mote