RecentChanges

Updates since 1970-01-01 00:00 UTC

(for proj-oot-old-150618-typeSystem 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

2015-06-19

  • 04:26 UTC (new) proj-oot-old-150618-typeSystem . . . . BayleShanks – if a variable can have many interface types (predicates? attribute types?), then need to decide at some point how much inference the compiler will do . . .

Filters

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