Language.Nock5K

Implementation of the Nock 5K spec.

Structures

data Noun

A noun is an atom or a cell. An atom is any natural number. A cell is an ordered pair of nouns.

Constructors

Atom !Integer

!Noun :- !Noun

Instances

Eq Noun

Show Noun

type Nock = Either String

Monad representing either a computed result or an error message.

Reduction

nock :: Noun -> Nock Noun

  nock(a)           *a

Parser

noun :: Parser Noun

REPL

repl :: IO ()