Georges Dupéron
|
4fed397bb9
|
Remove initially non-working versions on Travis
|
2016-12-14 20:11:03 +01:00 |
|
Georges Dupéron
|
c8ff9f9532
|
Various changes & bugfixes, more documentation.
|
2016-12-14 19:49:44 +01:00 |
|
Georges Dupéron
|
781c63d252
|
Cleanup
|
2016-12-14 18:11:25 +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
|
61d4a48d38
|
Removed naming of use-site scope, as it is handled specially by definition contexts.
|
2016-12-14 18:08:42 +01:00 |
|
Georges Dupéron
|
2c8423ac16
|
Initial commit
|
2016-12-14 17:44:42 +01:00 |
|