Giters

saksmt / experimental-hs-tapl

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

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

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%