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.
123456789101112// The llvm mote's library root -- bare `use llvm` resolves here.//// Everything here is compiler-agnostic: the LLVM IR data model and its// text rendering (`llvm.ir`), the string map that model is built on// (`llvm.strmap`), and the external-tool glue that turns IR text into a// linked binary (`llvm.link`). Nothing in this mote knows what a Monad// term is -- that is `lang`'s side of the seam.pub use lib::ir {LLVMModule, emit_module}pub use lib::link {compile_ir_to_obj, compile_ir_to_obj_with, compile_runtime_obj, link_ir, link_objects, map_dash_l}pub use lib::target {TargetSpec}