lambda-pi-0.2.0: λΠ-calculus implemented in a few different ways.

Index - C

churchNLanguage.LambdaPi.Impl.Foil
ColumnLanguage.LambdaPi.Syntax.Layout
columnLanguage.LambdaPi.Syntax.Layout
CommandLanguage.LambdaPi.Syntax.Abs
Command'Language.LambdaPi.Syntax.Abs
CommandCheckLanguage.LambdaPi.Syntax.Abs
CommandComputeLanguage.LambdaPi.Syntax.Abs
concatDLanguage.LambdaPi.Syntax.Print
concatSLanguage.LambdaPi.Syntax.Print
confirmLanguage.LambdaPi.Syntax.Layout
convertFromTerm'SigLanguage.LambdaPi.Impl.FreeFoilTH
convertToTerm'SigLanguage.LambdaPi.Impl.FreeFoilTH