suzanne.soy/phc-graph
1
0
Fork 0
Code Issues 24 Pull Requests Actions Packages Projects Releases Wiki Activity
Graph manipulation library in Typed/Racket
129 Commits 3 Branches 0 Tags 531 KiB
Vue 52%
Racket 47.5%
Shell 0.5%
main
Go to file
Georges Dupéron 1ad9f691aa Sketched a "def" form, which implicitly does pattern matching and defines functions and macros alike.
2017-06-01 16:47:05 +02:00
scribblings WIP on row types 2017-05-25 18:23:37 +02:00
test Improved literate programming 2017-05-31 13:39:23 +02:00
.gitignore More work on the invariants 2017-01-16 03:12:01 +01:00
.travis.yml TR Bug in flexible-with-generalized-ctor.hl.rkt: typed-racket-lib/typed-racket/types/overlap.rkt:40:0: mask-accessor: contract violation expected: mask? given: #f 2017-05-12 01:08:02 +02:00
alpha-equivalence-normal-form.rkt More work on the invariants 2017-01-16 03:12:01 +01:00
auto-push-master.sh Added key for auto-push 2017-03-22 00:26:27 +01:00
bench001.rkt More work on the invariants 2017-01-16 03:12:01 +01:00
binarytree.hl.rkt Cleaned up flexible structures implementation. The problem is that compiling the definitions is rather slow (~4 minutes for 10/128 fields), although those can be pre-compiled in advance, and using the functions is rather slow to typecheck (about 0.4s to use a 10/32 constructor), which is more of a problem. 2017-05-18 15:10:33 +02:00
def.rkt Sketched a "def" form, which implicitly does pattern matching and defines functions and macros alike. 2017-06-01 16:47:05 +02: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
dot-lang.rkt Fixed some bugs with the encoding of paths 2017-04-06 10:27:23 +02: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-generalized-ctor-test.rkt Cleaned up flexible structures implementation. The problem is that compiling the definitions is rather slow (~4 minutes for 10/128 fields), although those can be pre-compiled in advance, and using the functions is rather slow to typecheck (about 0.4s to use a 10/32 constructor), which is more of a problem. 2017-05-18 15:10:33 +02:00
flexible-with-generalized-ctor.hl.rkt Cleanup, separated the list-of-indices-to-tree generation code, so that it can be re-used in other macros. 2017-05-22 04:44:24 +02:00
flexible-with-utils.hl.rkt More cleanup 2017-02-06 06:55:29 +01:00
flexible-with.hl.rkt Put type within the use of define-pure/stateless 2017-05-20 02:46:06 +02:00
flexible-with2.hl.rkt More literate explanations 2017-06-01 16:46:29 +02:00
free-identifier-tree-equal.rkt Work on invariants. 2017-04-01 23:43:36 +02:00
graph-info.hl.rkt More cleanup 2017-02-06 06:55:29 +01:00
Graph-notes-copy2.vue WIP on #62: Encoding of relations as types (≡, ∈, = length, < length) — finished most of the type-level encoding, fixed tests 2017-04-11 14:07:31 +02:00
graph-type.hl.rkt Closes FB case 189 Switch phc-graph to the packaged subtemplate 2017-01-26 19:32:06 +01:00
graph.hl.rkt Closes FB case 189 Switch phc-graph to the packaged subtemplate 2017-01-26 19:32:06 +01:00
info.rkt TR Bug in flexible-with-generalized-ctor.hl.rkt: typed-racket-lib/typed-racket/types/overlap.rkt:40:0: mask-accessor: contract violation expected: mask? given: #f 2017-05-12 01:08:02 +02:00
invariants-phantom.hl.rkt Closes #62: Encoding of relations as types (≡, ∈, = length, < length) 2017-04-11 22:06:16 +02:00
LICENSE.txt raco pkg new phc-graph 2016-08-17 14:09:56 +02:00
literals.rkt WIP on the graph draft 2017-04-27 02:02:56 +02:00
main-draft.hl.rkt TR Bug in flexible-with-generalized-ctor.hl.rkt: typed-racket-lib/typed-racket/types/overlap.rkt:40:0: mask-accessor: contract violation expected: mask? given: #f 2017-05-12 01:08:02 +02:00
main.rkt raco pkg new phc-graph 2016-08-17 14:09:56 +02:00
make-lang-example.rkt TR Bug in flexible-with-generalized-ctor.hl.rkt: typed-racket-lib/typed-racket/types/overlap.rkt:40:0: mask-accessor: contract violation expected: mask? given: #f 2017-05-12 01:08:02 +02:00
make-lang-use-example.rkt TR Bug in flexible-with-generalized-ctor.hl.rkt: typed-racket-lib/typed-racket/types/overlap.rkt:40:0: mask-accessor: contract violation expected: mask? given: #f 2017-05-12 01:08:02 +02:00
make-lang.rkt TR Bug in flexible-with-generalized-ctor.hl.rkt: typed-racket-lib/typed-racket/types/overlap.rkt:40:0: mask-accessor: contract violation expected: mask? given: #f 2017-05-12 01:08:02 +02:00
notations.rkt Started writing on phantom types as witnesses for invariants 2017-01-01 21:03:03 +01:00
README.md raco pkg new phc-graph 2016-08-17 14:09:56 +02: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
TODO.txt TR Bug in flexible-with-generalized-ctor.hl.rkt: typed-racket-lib/typed-racket/types/overlap.rkt:40:0: mask-accessor: contract violation expected: mask? given: #f 2017-05-12 01:08:02 +02:00
traversal.hl.rkt Small bug fixes in traversal.hl.rkt and free-identifier-tree-equal.rkt 2017-03-20 16:11:01 +01:00
travis-deploy-key-id_rsa.enc Added key for auto-push 2017-03-22 00:26:27 +01:00

README.md

phc-graph

README text here.