Commit Graph

2 Commits

Author SHA1 Message Date
Matthew Flatt
ea6de4535d fix terminilogy: "Scribble" vs. "@-form" 2015-04-28 10:12:11 -06:00
Sam Tobin-Hochstadt
a316fc12c0 Remove extra directories. 2014-12-02 00:54:52 -05:00