logicshan's Repositories
logicshan/pj-lester-book
logicshan/LambdaCube
logicshan/jekyll_demo
logicshan/llvm-general-examples
logicshan/PTS
logicshan/cct
logicshan/core
logicshan/dtp
logicshan/fsspl
logicshan/IAL
logicshan/Lambda
logicshan/lc-with-redex
Lambda calculus with Scheme and PLT-Redex, by Jos Koot
logicshan/practical-logic
logicshan/sasl
A SASL compiler in Haskell