This Repository contains various code examples in the ML programming language family.
- This repository is split between the various languages.
- Each language repository has their own READMEs for interesting files
to look out for.
- Sadly not all files are interesting, this is due to many of them
being tiny ideas Ι had.l
- This mainly applies to the Haskell directories!
- Sadly not all files are interesting, this is due to many of them
being tiny ideas Ι had.l
- The most interesting directory ordering for anyone reading this
would probably be.
- Fstar
- OCaml
- Haskell
- Idris
- Coq