Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Base1.hs | 703 | logplain |
-rw-r--r-- | Church1.hs | 547 | logplain |
-rw-r--r-- | Church2.hs | 513 | logplain |
-rw-r--r-- | Church2.stderr | 400 | logplain |
-rw-r--r-- | Compose.hs | 629 | logplain |
-rw-r--r-- | Makefile | 72 | logplain |
-rw-r--r-- | PList1.hs | 478 | logplain |
-rw-r--r-- | PList2.hs | 595 | logplain |
-rw-r--r-- | SystemF.hs | 334 | logplain |
-rw-r--r-- | T2193.hs | 295 | logplain |
-rw-r--r-- | T2193.stdout | 2 | logplain |
-rw-r--r-- | all.T | 483 | logplain |
-rw-r--r-- | boxy.hs | 2724 | logplain |