ucsd-progsys/liquid-fixpoint — pull request #18 by panagosg7 (2013-08-02 19:03:07+00:00)
Title: Changes to make fp work with nano-js

WARNING: The last commit hard-codes some quick fixes