|
scribblings
|
Printing bug when printing the set.
|
2017-01-17 19:12:51 +01:00 |
|
test
|
Remove output, incomplete types should not be in the main graph type, as wrappers may add/remove fields in the incomplete type in the graph transform or creation code.
|
2017-01-18 04:45:04 +01:00 |
|
.gitignore
|
More work on the invariants
|
2017-01-16 03:12:01 +01:00 |
|
.travis.yml
|
Remove older versions from Travis build, they seem to have issues with phc-graph/subtemplate-override and with some of the types used in thoughts.rkt
|
2017-01-18 00:25:06 +01:00 |
|
alpha-equivalence-normal-form.rkt
|
More work on the invariants
|
2017-01-16 03:12:01 +01:00 |
|
bench001.rkt
|
More work on the invariants
|
2017-01-16 03:12:01 +01:00 |
|
dispatch-union.rkt
|
WIP: have to separate function definition from its type with :, due to recursive functions.
|
2016-11-04 22:38:14 +01:00 |
|
features-and-implementation
|
notes
|
2016-12-16 17:34:06 +01:00 |
|
features-and-implementation2
|
notes
|
2016-12-16 17:34:06 +01:00 |
|
features-and-implementation3
|
notes
|
2016-12-16 17:34:06 +01:00 |
|
flexible-with-utils.hl.rkt
|
More work on the invariants
|
2017-01-16 03:12:01 +01:00 |
|
flexible-with.hl.rkt
|
More work on the invariants
|
2017-01-16 03:12:01 +01:00 |
|
free-identifier-tree-equal.rkt
|
WIP: have to separate function definition from its type with :, due to recursive functions.
|
2016-11-04 22:38:14 +01:00 |
|
fully-expanded-grammar-extract-bindings.rkt
|
Arrows for subtemplate derived ids work in DrRacket
|
2016-10-07 04:46:06 +02:00 |
|
fully-expanded-grammar.rkt
|
Fixed #%plain-app vs #%app and #%plain-lambda vs lambda issue in fully-expanded-grammar.rkt
|
2016-10-11 01:55:22 +02:00 |
|
graph-info.hl.rkt
|
Remove output, incomplete types should not be in the main graph type, as wrappers may add/remove fields in the incomplete type in the graph transform or creation code.
|
2017-01-18 04:45:04 +01:00 |
|
Graph-notes-copy2.vue
|
Printing bug when printing the set.
|
2017-01-17 19:12:51 +01:00 |
|
graph-type.hl.rkt
|
Cleanup
|
2017-01-18 11:44:07 +01:00 |
|
graph.hl.rkt
|
Printing bug when printing the set.
|
2017-01-17 19:12:51 +01:00 |
|
info.rkt
|
Got printing of the graph-info working
|
2017-01-17 23:03:41 +01:00 |
|
invariants-phantom.hl.rkt
|
More work on the invariants
|
2017-01-16 03:12:01 +01:00 |
|
LICENSE.txt
|
raco pkg new phc-graph
|
2016-08-17 14:09:56 +02:00 |
|
main.rkt
|
raco pkg new phc-graph
|
2016-08-17 14:09:56 +02:00 |
|
notations.rkt
|
Started writing on phantom types as witnesses for invariants
|
2017-01-01 21:03:03 +01:00 |
|
patch-arrows.rkt
|
Arrows for subtemplate derived ids work in DrRacket
|
2016-10-07 04:46:06 +02:00 |
|
README.md
|
raco pkg new phc-graph
|
2016-08-17 14:09:56 +02:00 |
|
subtemplate-override.rkt
|
Second template metafunction works too. The scopes issue is a bit fishy, but it will do until I tackle the task of having a propper, powerfull and expressive templating library.
|
2016-11-05 02:53:18 +01:00 |
|
subtemplate.rkt
|
Used backport-template-pr1514
|
2016-11-10 17:45:15 +01:00 |
|
thoughts.rkt
|
More work on the invariants
|
2017-01-16 03:12:01 +01:00 |
|
times.rkt.txt
|
Started writing on phantom types as witnesses for invariants
|
2017-01-01 21:03:03 +01:00 |
|
traversal.hl.rkt
|
More work on the invariants
|
2017-01-16 03:12:01 +01:00 |
