Changes between Initial Version and Version 1 of LevityPolymorphism


Ignore:
Timestamp:
Nov 29, 2016 4:21:00 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LevityPolymorphism

    v1 v1  
     1= Levity polymorphism =
     2
     3This is a status page for levity polymorphism, as described in the [https://www.microsoft.com/en-us/research/publication/levity-polymorphism/ Levity Polymorphism paper].
     4
     5See also [wiki:UnliftedDataTypes]
     6
     7== Tickets ==
     8
     9Use Keyword = `LevityPolymorphism` to ensure that a ticket ends up on these lists.
     10
     11'''Open Tickets:'''
     12[[TicketQuery(status=new|patch,keywords=~LevityPolymorphism)]]
     13
     14'''Closed Tickets:'''
     15[[TicketQuery(status=closed,keywords=~LevityPolymorphism)]]