Index of /~trebla/tmp

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 10.1.1.332.3161.pdf     2021-08-20 17:29  178K  
 ContMonad.lhs           2010-08-16 15:19  6.7K  
 Loeb.hs                 2023-12-05 15:38  4.0K  
 expr.hs                 2013-05-19 22:58    9   
 generics-ghc/           2022-03-16 17:42    -   
 giry-monad.txt          2023-09-07 18:07   20K  
 janos/                  2016-10-24 17:22    -   
 mergelogs/              2014-11-30 14:14    -   
 moo-nad.txt             2014-05-21 15:17  157   
 nu.txt                  2014-04-28 19:01  142   
 simple-majority.txt     2015-04-21 20:23  188