Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (by solomon) — discussion
#haskell #plt
