Index of /~cscccl/lambda-examples/data

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]dynamiceta.funtrans 2002-07-19 17:49 1.2K 
[TXT]dynamiceta.hilbert 2002-07-19 17:49 1.2K 
[TXT]dynamiceta.hnorm 2002-07-19 17:49 1.2K 
[TXT]nobetapwanot.church 2002-01-15 03:27 1.2K 
[TXT]nobetapwanot.funtrans 2002-01-15 03:27 1.2K 
[TXT]nobetapwanot.hilbert 2002-01-15 03:27 1.2K 
[TXT]nobetapwanot.hnorm 2002-01-15 03:18 1.3K 
[TXT]nobetapwanot.hocompiler2002-01-15 03:27 1.3K 
[TXT]nobetapwanot.mlt 2002-01-15 03:25 1.3K 
[TXT]nobetapwanot.quicksort 2002-01-15 03:17 1.2K 
[TXT]noexsubst.church 2002-01-15 03:13 1.2K 
[TXT]noexsubst.funtrans 2002-01-15 03:13 1.2K 
[TXT]noexsubst.hilbert 2002-01-15 03:12 1.2K 
[TXT]noexsubst.hnorm 2002-01-15 03:06 1.2K 
[TXT]noexsubst.hocompiler 2002-01-15 03:12 1.2K 
[TXT]noexsubst.mlt 2002-01-15 03:10 1.2K 
[TXT]noexsubst.quicksort 2002-01-15 03:05 1.2K 
[TXT]noexsubst.security 2002-01-15 03:15 1.2K 
[TXT]normcosts.church 2002-01-15 02:58 1.2K 
[TXT]normcosts.funtrans 2002-01-15 02:59 1.2K 
[TXT]normcosts.hilbert 2002-01-15 02:58 1.2K 
[TXT]normcosts.hnorm 2002-01-15 02:54 1.2K 
[TXT]normcosts.hocompiler 2002-01-15 02:58 1.3K 
[TXT]normcosts.mlt 2002-01-15 02:57 1.3K 
[TXT]normcosts.quicksort 2002-01-15 02:53 1.2K