Commit Graph

4 Commits

Author SHA1 Message Date
Georges Dupéron
b23f2eaad9 Also provide make-named-scope directly from (require debug-scopes) 2016-12-15 00:28:29 +01:00
Georges Dupéron
c8ff9f9532 Various changes & bugfixes, more documentation. 2016-12-14 19:49:44 +01:00
Georges Dupéron
85ff1f085e Moved in the debug-scopes.rkt from type-expander/debug-scopes 2016-12-14 18:09:06 +01:00
Georges Dupéron
2c8423ac16 Initial commit 2016-12-14 17:44:42 +01:00