GitHub repository: Dierk/frepl-gui
Primary language: Frege
Created: 2015-02-21T01:39:51Z
Description: GUI for the frege repl