Bayle Shanks's website: Recent Changes

Updates since 1970-01-01 00:00 UTC

(for notes-computer-programming-programmingLanguageDesign-typeSystemDesignNotes 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-23

09:34 UTC (diff) notes-computer-programming-programmingLanguageDesign-typeSystemDesignNotes . . . . BayleShanks

2013-08-08

20:47 UTC (diff) notes-computer-programming-programmingLanguageDesign-typeSystemDesignNotes . . . . BayleShanks
10:31 UTC (diff) notes-computer-programming-programmingLanguageDesign-typeSystemDesignNotes . . . . BayleShanks

2013-05-06

22:23 UTC (diff) notes-computer-programming-programmingLanguageDesign-typeSystemDesignNotes . . . . BayleShanks
21:38 UTC (diff) notes-computer-programming-programmingLanguageDesign-typeSystemDesignNotes . . . . BayleShanks

2013-05-03

10:47 UTC (new) notes-computer-programming-programmingLanguageDesign-typeSystemDesignNotes . . . . BayleShanks – dons 748 days ago | link > For instance, Qi's type inferencing engine is Turing complete Why is that good? Decidability is a nice property . . .