Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.



A non-covering type family is a type family whose patterns do not cover the whole space.
If you want to change selection, open document below and click on "Move attachment"

What are type families? | Types and Kinds
a total type family is properly a function on types. Those other dependently typed languages have functions on types, and they seem to work nicely. I am completely unbothered by total type families. Non-covering type families are strange <span>A non-covering type family is a type family whose patterns do not cover the whole space. Let’s consider closed and open families separately, because the issues that come up are different. Closed type families For example: > type family F1 a where > F1 Int


Summary

statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on

Details



Discussion

Do you want to join discussion? Click here to log in or create user.