Name		Name	Last commit message	Last commit date
Latest commit History 840 Commits
bin		bin
data		data
models		models
paper		paper
src		src
survey		survey
.ghci		.ghci
.gitignore		.gitignore
.gitmodules		.gitmodules
HLint.hs		HLint.hs
ImportSeminal.hs		ImportSeminal.hs
LICENSE		LICENSE
Makefile		Makefile
NOTES.md		NOTES.md
README.md		README.md
Setup.hs		Setup.hs
bad.dot		bad.dot
bad.png		bad.png
evals.log		evals.log
evals.seminal.log		evals.seminal.log
fac.dot		fac.dot
fac.png		fac.png
nanoml.cabal		nanoml.cabal
no-witness-ucsd.log		no-witness-ucsd.log
op-sem.rkt		op-sem.rkt
palindrome.dot		palindrome.dot
palindrome.png		palindrome.png
seminal.csv		seminal.csv
stack.yaml		stack.yaml
ucsd-fa15.csv		ucsd-fa15.csv
ucsd-sp14.csv		ucsd-sp14.csv
ucsd.csv		ucsd.csv