Graph manipulation library in Typed/Racket
Go to file
2016-10-11 01:55:22 +02:00
scribblings Run Travis on 2 threads only, to avoid OOM when compiling phc-adt. Added and used check-equal?-values: form. 2016-10-03 01:29:53 +02:00
test Added tests for different orders of types in the union for traversal.hl.rkt 2016-10-08 17:19:26 +02:00
.gitignore raco pkg new phc-graph 2016-08-17 14:09:56 +02:00
.travis.yml Remove -x option on raco test in .travis.yml, so that all modules are run, including those without a test submodule. 2016-10-11 00:23:46 +02:00
dispatch-union.rkt Hopefully fixed order of union elements in the cond 2016-10-08 14:53:20 +02:00
free-identifier-tree-equal.rkt First draft for define-fold, all tests pass. 2016-10-03 03:25:28 +02: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
info.rkt Use path within git repository for phc-adt dependency. 2016-10-11 00:55:31 +02: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
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.rkt Ported traversal code to use subtemplate, fixed scope issue with subtemplate 2016-10-07 13:42:00 +02:00
traversal.hl.rkt Added support for type-to-replaceᵢ directly within a union. 2016-10-08 03:10:04 +02:00

phc-graph

README text here.