7 Commits

Author	SHA1	Message	Date
Matthew Butterick	12f8b3d0a5	simplify	2016-05-13 16:22:11 -07:00
Matthew Butterick	5d73d41174	adjust	2016-05-09 14:29:38 -07:00
Matthew Butterick	d9a33c7948	adjust	2016-05-08 21:31:34 -07:00
Matthew Butterick	086c0aa359	scopes	2016-05-08 21:08:44 -07:00
Matthew Butterick	0a5ef3e4dc	scope composition	2016-05-08 19:56:26 -07:00
Matthew Butterick	6a3d4c5c15	syntaxing	2016-05-06 22:18:41 -07:00
Matthew Butterick	d004b1faee	unification	2016-04-11 08:09:10 -07:00