| non-determinism.metta | Dec 6, 2024, 9:46:38 AM | 455 B | |
| non-determinism.metta.answers | Dec 6, 2024, 9:46:38 AM | 962 B | |
| README.md | Dec 6, 2024, 9:46:38 AM | 2.04 KiB | |
| self-contained-synthesize.metta | Dec 6, 2024, 9:46:38 AM | 4.85 KiB | |
| self-contained-synthesize.metta.answers | Dec 6, 2024, 9:46:38 AM | 375.70 KiB | |
| synthesize-via-case.metta | Dec 6, 2024, 9:46:38 AM | 1.11 KiB | |
| synthesize-via-case-test.metta | Dec 6, 2024, 9:46:38 AM | 1.46 KiB | |
| synthesize-via-case-test.metta.answers | Dec 6, 2024, 9:46:38 AM | 250.63 KiB | |
| synthesize-via-let.metta | Dec 6, 2024, 9:46:38 AM | 1.09 KiB | |
| synthesize-via-let-test.metta | Dec 6, 2024, 9:49:23 AM | 1.47 KiB | |
| synthesize-via-let-test.metta.answers | Dec 6, 2024, 9:46:38 AM | 253.75 KiB | |
| synthesize-via-superpose.metta | Dec 6, 2024, 9:46:38 AM | 1.12 KiB | |
| synthesize-via-superpose.metta.answers | Dec 6, 2024, 9:46:38 AM | 1.10 KiB | |
| synthesize-via-type-checking.metta | Dec 6, 2024, 9:49:23 AM | 4.35 KiB | |
| synthesize-via-type-checking.metta.answers | Dec 6, 2024, 9:46:38 AM | 1.61 KiB | |
| synthesize-via-unify.metta | Dec 6, 2024, 9:49:23 AM | 1.92 KiB | |
| synthesize-via-unify-test.metta | Dec 6, 2024, 9:49:23 AM | 2.38 KiB | |
| synthesize-via-unify-test.metta.answers | Dec 6, 2024, 9:46:38 AM | 1.28 KiB | |
| synthesize-via-unify-test-longer.metta | Dec 6, 2024, 9:46:38 AM | 779 B | |
| synthesize-via-unify-test-longer.metta.answers | Dec 6, 2024, 9:46:38 AM | 1.15 KiB | |
| unify-via-case.metta | Dec 6, 2024, 9:46:38 AM | 778 B | |
| unify-via-case.metta.answers | Dec 6, 2024, 9:46:38 AM | 1012 B | |
| unify-via-let.metta | Dec 6, 2024, 9:46:38 AM | 1.05 KiB | |
| unify-via-let.metta.answers | Dec 6, 2024, 9:46:38 AM | 1021 B | |
|