|
Wild Life
2.29
|
| Arity - NOT USED | |
| Math built in functions | |
| Built in system functions | |
| Builtins for doing type heierachy stuff | |
| Built in functions | |
| New translation routines for Wild_Life | |
| Defines formerly set in Makefile | |
| Error messaging, etc | |
| Keyword hash tables | |
| Print info | |
| Handle interrupts etc | |
| Lefun | |
| Lib for calling wild_life from C | |
| Life main | |
| List handling functions | |
| Login | |
| Least upper bound of the root sorts of two psi terms | |
| Memory management | |
| Modules | |
| Parser | |
| Raw i/o | |
| System functions | |
| Templates | |
| Token | |
| Trees | |
| Types | |
| X windows display functions | |
| X windows predicates |
1.8.6