http://lambda-11235.github.io/ [email protected]
California, United States
Taran Lynn
An arrowized FRP library for Idris with static safety guarantees.
lambda-11235
A simple dependently typed language based on the Calculus of Constructions.
