Something went wrong. Try again.
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming
Something went wrong. Try again.
123456789101112131415// The bench mote's library root -- bare `use bench` resolves here.//// Deliberately EMPTY, following proofs/src/lib.mo. Every module here is a// benchmark rather than a library: each one declares its measurement as// `#[test]` defs so `monad test bench` runs it, and the tree has no `pub`// declaration at all. `scope_lookup.mo`, `parser_take_while.mo` and// `hashmap_bucket_dispatch.mo` are experiments whose RESULT is a number// recorded in a plan document, not a function anyone calls.//// `monad test bench` reaches them through `expand_check_paths`// (lang/src/module.mo), which walks for `.mo` and never consults a library// root, so a re-export list here would serve nothing.//// What the file buys is that the mote has a target: `use bench` resolves.