| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Variable.java | 2023-10-21 09:27 | 5.7K | ||
| NumberFunctor.java | 2023-10-21 09:27 | 1.9K | ||
| Signature.java | 2023-10-21 09:27 | 3.7K | ||
| Makefile | 2023-10-21 09:27 | 5.5K | ||
| Functor.java | 2023-10-21 09:27 | 5.0K | ||
| FirstOrderTermStruct..> | 2023-10-21 09:27 | 6.1K | ||
| FirstOrderTermPair.java | 2023-10-21 09:27 | 1.1K | ||
| FirstOrderTerm.java | 2023-10-21 09:27 | 6.7K | ||
| BadFunctorArityExcep..> | 2023-10-21 09:27 | 854 | ||
| syntax/ | 2023-10-20 20:17 | - | ||
| fuz/ | 2023-10-20 20:15 | - | ||
| save/ | 2023-10-20 20:14 | - | ||