Website Source

https://github.com/mmcqd/pure
A pure type system implemented in OCaml.


Tags: language   functional   llvm  

Last modified 11 December 2024