search

compiling-to-categories / concat

Compiling to Categories
http://conal.net/papers/compiling-to-categories
BSD 3-Clause "New" or "Revised" License
436 stars 50 forks source link

Don't include coercions in toCcc'' evidence #92

Closed mikesperber closed 2 years ago

mikesperber commented 2 years ago

These are unboxed, and we can't put them as-is in a boxed tuple. Also unclear if what we'd need them for.