ttr

A type theory with records

This project is built with the Styx tool. Install styx:

nix-env -iA nixpkgs.haskellPackages.styx
nix-env -iA nixpkgs.cabal2nix

Then

styx configure
styx build
styx exec -- ttr <arguments>

Name		Name	Last commit message	Last commit date
Latest commit History 194 Commits
doc		doc
examples		examples
ghcjs		ghcjs
stack		stack
tests/fail		tests/fail
.gitignore		.gitignore
Concrete.hs		Concrete.hs
DialogMan.hs		DialogMan.hs
Eval.hs		Eval.hs
Exp.cf		Exp.cf
JS.hs		JS.hs
LICENSE		LICENSE
LinDialog.hs		LinDialog.hs
Loader.hs		Loader.hs
Main.hs		Main.hs
Makefile		Makefile
Pretty.hs		Pretty.hs
README.md		README.md
Setup.hs		Setup.hs
TODO.org		TODO.org
TT.hs		TT.hs
TypeChecker.hs		TypeChecker.hs
stack.yaml		stack.yaml
styx.yaml		styx.yaml
ttr-mode.el		ttr-mode.el
ttr.cabal		ttr.cabal

Provide feedback