examples · monad · Tangled

anders.sorby.xyz / monad

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

monad examples

19 files

Anders Christiansen Sørby · lang/mote: resolve check, test and compile from the mote root · 2w ago

char_literals.mo

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

indexed_monads.mo

lang/mote: resolve check, test and compile from the mote root

iteration_advanced.mo

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

located_terms.mo

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

pattern_matching.mo

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root

lang/mote: resolve check, test and compile from the mote root