issues
search
conal
/
lambda-ccc
Convert lambda expressions to CCC combinators
Other
146
stars
18
forks
source link
Casts and coercions
#7
Open
conal
opened
10 years ago
conal
commented
10 years ago
Handle them in the representation and translation.
Check handling of
newtype
s, which are represented via a coercion.
newtype
s, which are represented via a coercion.