RecentChanges

Updates since 1970-01-01 00:00 UTC

(for ideas-computer-jasper-jasperTypes only)

1 days 3 days 7 days 30 days 90 days
List latest change per page only List only major changes
List later changes RSS RSS with pages RSS with pages and diff

2013-08-13

2013-08-12

2013-08-09

2013-08-08

2013-07-15

2013-02-13

2013-02-02

2013-01-27

2013-01-26

  • 14:33 UTC (new) ideas-computer-jasper-jasperTypes . . . . BayleShanks Not sure if the Jasper type system has principal types. Apparently the ability to represent GADTs destroy principal types but i don't understand what . . .

Filters