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 jyp spaces May 3, 2024 f2cc53d · May 3, 2024 History 195 Commits
doc	doc	oops, wrong rules for meet/join of functions	Jan 17, 2017
examples	examples	spaces	May 3, 2024
ghcjs	ghcjs	move ghcjs stuff in own directory	Apr 12, 2017
stack	stack	try to build ghcjs with linux stack	Apr 12, 2017
tests/fail	tests/fail	oops, we need at least one value when checking subtyping	Mar 7, 2018
.gitignore	.gitignore	ignore	Apr 13, 2017
Concrete.hs	Concrete.hs	clean	Apr 10, 2024
DialogMan.hs	DialogMan.hs	add dummy transformer in conv test	Oct 1, 2018
Eval.hs	Eval.hs	clean	Apr 10, 2024
Exp.cf	Exp.cf	ghc update	Apr 9, 2024
JS.hs	JS.hs	support importing in java version	Apr 13, 2017
LICENSE	LICENSE	Initial commit	Nov 8, 2016
LinDialog.hs	LinDialog.hs	slightly less cluttered printing	Oct 23, 2018
Loader.hs	Loader.hs	finite sets attempt	Mar 6, 2018
Main.hs	Main.hs	various fixes	Oct 22, 2018
Makefile	Makefile	ghc update	Apr 9, 2024
Pretty.hs	Pretty.hs	clean	Apr 10, 2024
README.md	README.md	Booleans and isNil list	Oct 4, 2017
TODO.org	TODO.org	Explanation	Apr 11, 2024
TT.hs	TT.hs	clean	Apr 10, 2024
TypeChecker.hs	TypeChecker.hs	Explanation	Apr 11, 2024
ttr-mode.el	ttr-mode.el	add parens	Apr 10, 2017
ttr.cabal	ttr.cabal	ghc update	Apr 9, 2024

Provide feedback