Website Source

https://github.com/agraef/pure-lang
Pure is a modern-style functional programming language based on term rewriting. It offers equational definitions with pattern matching, full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, built-in list and matrix support and an easy-to-use C interface.

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


Tags: language   functional   llvm  

Last modified 24 May 2024