Lobsters
- LambdaPi: Tutorial Implementation of Dependent Typing https://www.andres-loeh.de/LambdaPi/ 2 comments plt
- Questions about the paper "A Framework for Defining Logics" (LF) https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf 6 comments programminglanguages
- New generic programming library (with paper accepted in WGP 2014) http://www.andres-loeh.de/truesumsofproducts/ 11 comments haskell
- A Tutorial Implementation of a Dependently Typed Lambda Calculus in Haskell http://www.andres-loeh.de/lambdapi/ 10 comments haskell