Index of /code.haskell.org/SLPJ-collaborative-papers/fun-with-type-funs/fun-with-type-funs-for-springer/

../
Arithm.hs                                          15-Feb-2019 09:11                2055
Coercion.hs                                        15-Feb-2019 09:11                1206
Graph.hs                                           15-Feb-2019 09:11                 631
Lock.hs                                            15-Feb-2019 09:11                4165
Makefile                                           15-Feb-2019 09:11                 458
Map.hs                                             15-Feb-2019 09:11                1448
Memo.hs                                            15-Feb-2019 09:11                2679
Mutation.hs                                        15-Feb-2019 09:11                 804
PrintScanGADT.hs                                   15-Feb-2019 09:11                4595
Session.hs                                         15-Feb-2019 09:11                2152
typefun.bib                                        15-Feb-2019 09:11               27675
typefun.tex                                        15-Feb-2019 09:11               90274