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

Index - W

whnf 
1 (Function)Language.LambdaPi.Impl.FreeFoilTH
2 (Function)Language.LambdaPi.Impl.FreeFoil
3 (Function)Language.LambdaPi.Impl.FoilTH
4 (Function)Language.LambdaPi.Impl.Foil
withRefreshedFoilPattern'Language.LambdaPi.Impl.FoilTH