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

#haskell #plt