Changes between Version 30 and Version 31 of InjectiveTypeFamilies


Ignore:
Timestamp:
Apr 19, 2017 2:25:21 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • InjectiveTypeFamilies

    v30 v31  
    2222"Injective type families for Haskell" (henceforth referred to as the
    2323"injectivity paper").
     24
     25== Tickets ==
     26
     27Use Keyword = `InjectiveFamilies` to ensure that a ticket ends up on these lists.
     28
     29'''Open Tickets:'''
     30[[TicketQuery(status=new|patch,keywords=~FunDeps|InjectiveFamilies)]]
     31
     32'''Closed Tickets:'''
     33[[TicketQuery(status=closed,keywords=~FunDeps|InjectiveFamilies)]]
    2434
    2535== Forms of injectivity