search

Mercerenies / tfactor

0 stars 0 forks source link

Record Syntax Within Functors #18

Closed Mercerenies closed 4 years ago

Mercerenies commented 4 years ago

We have record syntax back (#10). But we still can't use it inside of functors yet. Should be reasonably straightforward, but it needs to be done.

Mercerenies commented 4 years ago

f135edb implements records within functors.