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

Index - E

eitherResIdentLanguage.LambdaPi.Syntax.Lex
ErrLanguage.LambdaPi.Syntax.Lex
ExplicitLanguage.LambdaPi.Syntax.Layout
ExprLanguage.LambdaPi.Impl.Foil
extendScopeFoilPattern'Language.LambdaPi.Impl.FoilTH