| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 000StartHere.html | 2023-10-21 09:33 | 1.2K | ||
| BadFunctorArityExcep..> | 2023-10-21 09:33 | 3.6K | ||
| BadFunctorArityExcep..> | 2023-10-21 09:33 | 854 | ||
| FirstOrderTerm.html | 2023-10-21 09:33 | 28K | ||
| FirstOrderTerm.java | 2023-10-21 09:33 | 6.7K | ||
| FirstOrderTermPair.html | 2023-10-21 09:33 | 4.4K | ||
| FirstOrderTermPair.java | 2023-10-21 09:33 | 1.1K | ||
| FirstOrderTermStruct..> | 2023-10-21 09:33 | 21K | ||
| FirstOrderTermStruct..> | 2023-10-21 09:33 | 6.1K | ||
| Functor.html | 2023-10-21 09:33 | 11K | ||
| Functor.java | 2023-10-21 09:33 | 5.0K | ||
| Makefile | 2023-10-21 09:33 | 5.5K | ||
| NumberFunctor.html | 2023-10-21 09:33 | 7.1K | ||
| NumberFunctor.java | 2023-10-21 09:33 | 1.9K | ||
| Signature.html | 2023-10-21 09:33 | 15K | ||
| Signature.java | 2023-10-21 09:33 | 3.6K | ||
| Variable.html | 2023-10-21 09:33 | 22K | ||
| Variable.java | 2023-10-21 09:33 | 5.7K | ||
| fuz/ | 2023-10-20 21:00 | - | ||
| save/ | 2023-10-20 20:56 | - | ||
| syntax/ | 2023-10-20 21:09 | - | ||