f-ing-modules

Here are 5 public repositories matching this topic...

An ML-like statically-typed Erlang

A statically-typed programming language based on "F-ing modules"

Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules

Full implementation of F-ing Modules, with the power of sequent calculus

An interpreter of F-ing modules

Add a description, image, and links to the f-ing-modules topic page so that developers can more easily learn about it.

To associate your repository with the f-ing-modules topic, visit your repo's landing page and select "manage topics."