lambda-ccc icon indicating copy to clipboard operation
lambda-ccc copied to clipboard
verified publisher icon conal

Fully parametrize by primitives

Open conal opened this issue 11 years ago • 1 comments

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 avatar Apr 13 '14 00:04 conal

How to specify what type of primitives?

conal avatar Apr 13 '14 00:04 conal