GitHub - gregr/experiments: a steady descent into madness

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 982 Commits
acl2		acl2
agda		agda
cfa		cfa
control		control
data		data
demo-eval		demo-eval
dependent-types		dependent-types
mk-misc		mk-misc
pypy-vs-ghc		pypy-vs-ghc
rack		rack
relational-hindley-milner		relational-hindley-milner
stlc		stlc
supercompilation		supercompilation
verse		verse
web		web
.gitignore		.gitignore
AbstractSyntax.hs		AbstractSyntax.hs
CFG.hs		CFG.hs
DirectCalc.hs		DirectCalc.hs
Expr.hs		Expr.hs
Gram.hs		Gram.hs
GraphTerm.hs		GraphTerm.hs
Lattice.hs		Lattice.hs
ParseForm.hs		ParseForm.hs
ParseSpec.hs		ParseSpec.hs
ParseUtil.hs		ParseUtil.hs
PiSig.hs		PiSig.hs
Proj.hs		Proj.hs
README		README
Regex.hs		Regex.hs
Repl.hs		Repl.hs
SimpleCalc.hs		SimpleCalc.hs
Simpler.hs		Simpler.hs
TODO		TODO
algebraic-effect-handlers.rkt		algebraic-effect-handlers.rkt
basis.spec		basis.spec
examples.hs		examples.hs
hmftest.hs		hmftest.hs
intersection.hs		intersection.hs
intersection.py		intersection.py
mixing-symbolic-and-direct-manipulation.md		mixing-symbolic-and-direct-manipulation.md
mlf.hs		mlf.hs
modularity.hs		modularity.hs
scratch.hs		scratch.hs
smallstep0.hs		smallstep0.hs
smallstep1.hs		smallstep1.hs
tc.hs		tc.hs

Repository files navigation

This is a pile of nonsense produced while playing around with half-baked ideas.  Don't hurt yourself trying to figure it out.

None of this should be useful.  If I find that I'm mistaken, the useful bits will be moved to form a new project, restoring order to the universe.