Lightweight Dependent-type Programming (2008)http://okmij.org/ftp/Computation/lightweight-dependent-typing.html by mlitchard • 11 years ago 23 0 11 years agoOKokmij.org