Rare find

pure. A pure type system implemented in OCaml

github.com/mmcqd/pure

Problem

Audience

Updates

No founder updates yet. Check back soon.