Giters
conal
/
lambda-ccc
Convert lambda expressions to CCC combinators
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
146
Watchers:
22
Issues:
12
Forks:
18
conal/lambda-ccc Issues
error "This argument does not satisfy the let/app invariant"
Closed
8 years ago
Comments count
1
Looping CCC optimization
Updated
10 years ago
Fully parametrize by primitives
Updated
10 years ago
Comments count
1
Casts and coercions
Updated
10 years ago
To do: record field accessors
Closed
10 years ago
Comments count
1
Handle unlifted types
Updated
10 years ago
Comments count
10
Handle methods without code explosion
Updated
10 years ago
Comments count
3
Unshadowing happens too late
Updated
10 years ago
Comments count
1
Avoid unboxed types
Closed
10 years ago
GADTs
Updated
10 years ago
Handle newtype
Updated
10 years ago
Convenient cross-module reification
Updated
10 years ago