Implementations of various lambda calculus based systems. Source code Contents Index

Untyped.Pretty Stability experimental Maintainer thanos@sians.org

Contents Pretty-printers

Description

Pretty-printers for the untyped system.

Synopsis

prettyTerm :: Term -> String prettyC :: String -> Pretty Computation

Pretty-printers

prettyTerm :: Term -> String Source

Pretty-print a Term.

prettyC :: String -> Pretty Computation Source

Given a separator string, creates a Computation pretty-printer.

Produced by Haddock version 2.4.2