Giters

jonschoning / lambda

Simply typed lambda calculus demo for Lambda Jam 2014

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

fork

lambda

Simply typed lambda calculus demo for Lambda Jam 2014

About

Simply typed lambda calculus demo for Lambda Jam 2014

fork

Languages

Language:Haskell 78.6%Language:Scala 11.5%Language:Clojure 9.9%