Getting started
First, clone the repo.
In the repo:
cabal run solera -- repl
> let id = \x -> x in id 7
7 : Int
> letrec fac = \n -> if (eq n 0) 1 (mul n (fac (sub n 1))) in fac 5
120 : Int
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
First, clone the repo.
In the repo:
cabal run solera -- repl
> let id = \x -> x in id 7
7 : Int
> letrec fac = \n -> if (eq n 0) 1 (mul n (fac (sub n 1))) in fac 5
120 : Int