Commit Log
commit | description | author | date |
---|---|---|---|
2a7cb53fb03f | Clean up the GGP a tiny bit | Steve Losh | Mon, 11 Jul 2016 09:55:05 +0000 |
4d17e3cb6fa2 | Type-hint the WAM `setf` functions | Steve Losh | Sun, 10 Jul 2016 21:08:12 +0000 |
8cd3257c58e3 | Name the subterm-handling instructions something not completely stupid | Steve Losh | Sun, 10 Jul 2016 14:28:48 +0000 |