search

conal / lambda-ccc

Convert lambda expressions to CCC combinators
Other
146 stars 18 forks source link

Fully parametrize by primitives #4

Open conal opened 10 years ago

conal commented 10 years ago

There's a good start already, as the expression E (in LambdaCCC.Lambda) and the conversion to biCCCs (LambdaCCC.ToCCC) are parametrized over a type constructor of primitives.

conal commented 10 years ago

How to specify what type of primitives?