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

Index - B

BLanguage.LambdaPi.Syntax.Lex
BlockLanguage.LambdaPi.Syntax.Layout
BNFC'NoPositionLanguage.LambdaPi.Syntax.Abs
BNFC'Position 
1 (Type/Class)Language.LambdaPi.Syntax.Abs
2 (Data Constructor)Language.LambdaPi.Syntax.Abs
BTreeLanguage.LambdaPi.Syntax.Lex
ByteLanguage.LambdaPi.Syntax.Lex