upgrade to Frege 3.22.524, Change UI theme - Githubissues

Frege / try-frege

Frege online REPL

8 stars 4 forks source link

upgrade to Frege 3.22.524, Change UI theme #16

Closed mmhelloworld closed 9 years ago