Giters

faustind / language-pcf

An implementation of the Programming language for Computable Functions (PCF).

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

pcf

About

An implementation of the Programming language for Computable Functions (PCF).

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 58.5%Language:Java 41.5%