Frege online REPL
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
try-frege-repl Fix editor/repl focusing issue, simplify example Aug 19, 2016
.gitignore Ignore Idea files Dec 16, 2013
.travis.yml Update travis to use Java 8 May 23, 2016 Fix formatting May 20, 2018
pom.xml Upgrade to 3.24-7.100, Switch REPL, editor in UI May 23, 2016

Try Frege Build Status

This is the online REPL for Frege available at this URL:

Build from sources and run locally

  1. Checkout this project and then from project root,

    mvn install

  2. To run,

    mvn -f try-frege-web jetty:run-war

    The application will be running on http://localhost:8080/tryfrege.