mperry / frege-repl

Frege REPL

#Frege REPL

This is the command line REPL for Frege. Frege code snippets can be entered on the prompt to get them evaluated. In addition to Frege code, the following commands are supported:

Command	Description
:type <expression>	Display the type of an expression
:browse <moduleName>	Display the names in a module if a module name is provided otherwise display the names in the default REPL module
:java	View Java translation of last compiled Frege source
:{	Start multiline definitions
:}	End multiline definitions
:load <url or file>	Load Frege code snippets from an URL or file
:r	Reload the last script URL or file
:history	Display the source history for definitions in the default REPL module
:reset	Reset the REPL discarding all the evaluated scripts
:version	Display Frege version
:help <name>	Display the documentation for the given name. If the name is not provided, display this help message
:q or :quit	Quit REPL

##How to run?##

1. Download Frege REPL archive from releases.
2. Extract the archive
3. Run the following command: (JRE 7 or above required)
   
   • $ frepl/bin/frepl or
   • $ frepl/bin/freplj - JLine enabled REPL for command line history and navigation (might have problems with unicode characters in Windows)

##Build from sources##

1. ~/workspace$ git clone https://github.com/Frege/frege-interpreter.git
2. ~/workspace/frege-interpreter$ mvn install
3. ~/workspace$ git clone https://github.com/Frege/frege-repl.git
4. ~/workspace/frege-repl$ mvn install
5. To run, ~/workspace/frege-repl$ frege-repl-core/target/frepl/bin/frepl

Continuous Integration

Travis: https://travis-ci.org/Frege/frege-repl/

Sonatype: https://oss.sonatype.org/content/groups/public/org/frege-lang/