Popular repositories
-
-
Idris-dev Public
Forked from idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
Haskell 2
-
backwards_ATM Public
A simple ATM state machine in FSL, using an experimental syntax idiom focusing on backwards arrows.
-
-

