Commit Graph

3 Commits

Author SHA1 Message Date
Tony Garnock-Jones 55dbc2f29a Switch to skeleton-stx with struct-type rather than predicate 2018-03-27 22:21:49 +13:00
Tony Garnock-Jones 7767563ff6 Rearrange 2018-03-27 22:21:49 +13:00
Tony Garnock-Jones 4a470bd2e0 Start translation of pattern syntax to various structures 2018-03-27 22:21:49 +13:00