first commit
Create .gitignore
lots and lots
lots of new commands
vim plugin
mostly css files and restructuring output
Create readme
labels almost implemented
utils module
Merge branch 'master' of github.com:imeckler/proof
saving buggy file for ghc, gonna change it
things build, now parser needs debugging
got parser working for now.
fixed infinite loop
removed call to print parse tree
added license
moved js file over here
moved css file here
example.proof, gonna delete it soon though
eg to example