GitHub - NWChen/heckell: A programming language for set theory.

heckell is a programming language for set theory.

Usage

$ make
$ ./heckell < (YOURFILE).hck

Name		Name	Last commit message	Last commit date
Latest commit History 382 Commits
demo		demo
microc		microc
tests		tests
.gitignore		.gitignore
.travis-ci.sh		.travis-ci.sh
.travis.yml		.travis.yml
Makefile		Makefile
README		README
README.md		README.md
ast.ml		ast.ml
codegen.ml		codegen.ml
heckell.ml		heckell.ml
heckell.sh		heckell.sh
parser.mly		parser.mly
pprinting.ml		pprinting.ml
sast.ml		sast.ml
scanner.mll		scanner.mll
semant.ml		semant.ml
testall.sh		testall.sh
ut-sets.c		ut-sets.c
uthash.h		uthash.h