Index of /code.haskell.org/LambdaPiC/LambdaPi/examples/

../
math.lp                                            15-Feb-2019 12:50                2090
trivial.lp                                         15-Feb-2019 12:50                 625