frege-repl

Interactive REPL for writing and testing Frege code

brewmacoslinux

Try with needOr install directly

About

REPL (read-eval-print loop) for Frege

frege-repl

start an interactive Frege session$ frege-repl

evaluate a simple expression in Frege

$ frege-repl
2 + 3

load and test a Frege function

$ frege-repl
let double x = x * 2
double 5

check the type of a Frege expression

$ frege-repl
:type [1,2,3]

import and use a Frege module

$ frege-repl
import frege.prelude.List
map (+ 1) [1,2,3]