https://www.lambda-11235.com/ [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.
