Changes between Version 1 and Version 2 of Ticket #14420, comment 1


Ignore:
Timestamp:
Nov 5, 2017 11:52:58 PM (2 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14420, comment 1

    v1 v2  
    33interestingly your [https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1075&context=compsci_pubs Constrained Type Families] paper doesn't mention constraining data families..
    44
    5 But if we require all data families to be associated
     5But if we require all data families be associated
    66
    77{{{#!hs