Giters

runarorama / lambda

Simply typed lambda calculus demo for Lambda Jam 2014

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lambda

Simply typed lambda calculus demo for Lambda Jam 2014

About

Simply typed lambda calculus demo for Lambda Jam 2014

Languages

Language:Haskell 79.9%Language:Scala 10.8%Language:Clojure 9.3%