log

age author description
Mon, 18 Dec 2017 17:05:53 -0500 Adam Chlipala MIT 6.822
Fri, 10 Nov 2017 19:02:44 -0500 Adam Chlipala Two more users
Fri, 10 Nov 2017 18:49:56 -0500 Adam Chlipala Two more classes seemingly going on now
Tue, 17 Oct 2017 21:14:14 -0400 Adam Chlipala Link to Harvard CS260r
Mon, 18 Sep 2017 10:16:51 -0400 Adam Chlipala Cornell course
Sat, 09 Sep 2017 18:37:30 -0400 Adam Chlipala More accurate header for course links
Sat, 09 Sep 2017 18:36:00 -0400 Adam Chlipala Used in class at U. Maryland
Sat, 09 Sep 2017 11:42:10 -0400 Adam Chlipala Used in class at U. Kansas