ugh. got heapless to build and hsenv/hdevtools working
ugh. got heapless to build and hsenv/hdevtools working
adding simple tests for string-num-add
see TODO for next...
fixed wierd WF bug
fixed wf bug
fixed wf bug
slowly shoving Error through the entire system...
onto SSAMonad
onto typecheck
onto Liquid...
everything builds after error overhaul
Merge pull request #15 from UCSD-PL/heapless

Heapless