a total dependently-typed functional programming language
Explorations in learning Rust and playing around with writing a total dependently-typed functional programming language written on top of a strongly normalizing lambda calculus core.
Copyright (c) 2016, Matthew O'Connor thegreendragon@gmail.com