Name		Name	Last commit message	Last commit date
Latest commit History 129 Commits
scribblings		scribblings
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
Graph-notes-copy2.vue		Graph-notes-copy2.vue
LICENSE.txt		LICENSE.txt
README.md		README.md
TODO.txt		TODO.txt
alpha-equivalence-normal-form.rkt		alpha-equivalence-normal-form.rkt
auto-push-master.sh		auto-push-master.sh
bench001.rkt		bench001.rkt
binarytree.hl.rkt		binarytree.hl.rkt
def.rkt		def.rkt
dispatch-union.rkt		dispatch-union.rkt
dot-lang.rkt		dot-lang.rkt
features-and-implementation		features-and-implementation
features-and-implementation2		features-and-implementation2
features-and-implementation3		features-and-implementation3
flexible-with-generalized-ctor-test.rkt		flexible-with-generalized-ctor-test.rkt
flexible-with-generalized-ctor.hl.rkt		flexible-with-generalized-ctor.hl.rkt
flexible-with-utils.hl.rkt		flexible-with-utils.hl.rkt
flexible-with.hl.rkt		flexible-with.hl.rkt
flexible-with2.hl.rkt		flexible-with2.hl.rkt
free-identifier-tree-equal.rkt		free-identifier-tree-equal.rkt
graph-info.hl.rkt		graph-info.hl.rkt
graph-type.hl.rkt		graph-type.hl.rkt
graph.hl.rkt		graph.hl.rkt
info.rkt		info.rkt
invariants-phantom.hl.rkt		invariants-phantom.hl.rkt
literals.rkt		literals.rkt
main-draft.hl.rkt		main-draft.hl.rkt
main.rkt		main.rkt
make-lang-example.rkt		make-lang-example.rkt
make-lang-use-example.rkt		make-lang-use-example.rkt
make-lang.rkt		make-lang.rkt
notations.rkt		notations.rkt
thoughts.rkt		thoughts.rkt
times.rkt.txt		times.rkt.txt
traversal.hl.rkt		traversal.hl.rkt
travis-deploy-key-id_rsa.enc		travis-deploy-key-id_rsa.enc