Changes between Version 32 and Version 33 of InjectiveTypeFamilies


Ignore:
Timestamp:
May 22, 2017 7:30:44 PM (2 years ago)
Author:
Iceland_jack
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • InjectiveTypeFamilies

    v32 v33  
    568568In the injectivity paper we presented two practical use cases for injectivity.
    569569If you have more uses cases to demonstrate please add them here.
     570
     571[https://github.com/goldfirere/glambda/issues/6 GLambda issue tracker (“Make Val injective”)].