/experimental-hs-tapl

Experiments in Haskell: TAPL (Types And Programming Languages) practice

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

TAPL

Experiments in Haskell: TAPL (Types And Programming Languages) practice.

Usage

In place evaluation

$ stack build
$ stack exec tapl-exe -- "\x . x"

REPL

stack build
stack exec tapl-exe -- -r