Hi all!
I am happy to announce that Ravel 1.0.1 is now available on opam.
Ravel is a small functional language that compiles to interaction nets — a graph-rewriting model with strong confluence and implicit parallelism. It features user-defined algebraic data types, deep pattern matching, first-class functions with lexical closures, and automatic resource management via labeled duplication and erasure nodes.
Feedback and contributions are welcome!