RecentChanges

Updates since 1970-01-01 00:00 UTC

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

2014-10-30

  • 22:15 UTC (new) proj-oot-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