·
114 commits
to master
since this release
Last Snapshot update: Dec 12, 2014
Upgrade to Frege 3.21.586-g026e8d7
Fix Frege/try-frege#3
Fix Frege/frege-repl#4
Fix Frege/frege-repl#16