howtonotwin
Results
1
issues of
howtonotwin
A proof about a function needs to have the implementation details of the function. In `singletons`, functions are type families, and type families must expose all their equations (AKA their...
enhancement
Help wanted