 | Implementations of various lambda calculus based systems. | Source code | Contents | Index |
| Main |
|
| main :: IO () |
| main :: IO () | Source |
| ||||||
| ||||||
| Description | ||||||
| TsouTAPL: implementations of various lambda calculus based systems. | ||||||
| Synopsis | ||||||
| ||||||
| Documentation | ||||||
| ||||||
| Gets the command-line arguments and runs in the appropriate mode. | ||||||
| Produced by Haddock version 2.4.2 |