RecentChanges

Updates since 1970-01-01 00:00 UTC

(for proj-jasper-jasperTypeNotes1 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

2014-08-04

2014-08-02

2014-07-31

2014-07-14

2014-07-12

  • 05:13 UTC (new) proj-jasper-jasperTypeNotes1 . . . . BayleShanks – see also jasperTypesLinks.txt Not sure if the Jasper type system has principal types. Apparently the ability to represent GADTs destroy principal . . .

Filters

BayleShanks RecentChanges Bayle Shanks's website
Comments on RecentChanges This page is read-only View other revisions Administration