| _e2_states_dia.metta | Sep 6, 2024, 1:24:46 PM | 1.92 KiB | |
| a1_symbols.metta | Sep 6, 2024, 1:24:46 PM | 2.38 KiB | |
| a1_symbols.metta.answers | Sep 6, 2024, 1:24:46 PM | 169 B | |
| a2_opencoggy.metta | Sep 6, 2024, 1:24:46 PM | 915 B | |
| a2_opencoggy.metta.answers | Sep 6, 2024, 1:24:46 PM | 138 B | |
| a3_twoside.metta | Sep 6, 2024, 1:24:46 PM | 1.57 KiB | |
| a3_twoside.metta.answers | Sep 6, 2024, 1:24:46 PM | 154 B | |
| b0_chaining_prelim.metta | Sep 6, 2024, 1:24:46 PM | 1.39 KiB | |
| b0_chaining_prelim.metta.answers | Sep 6, 2024, 1:24:46 PM | 158 B | |
| b1_equal_chain.metta | Sep 6, 2024, 1:24:46 PM | 2.39 KiB | |
| b1_equal_chain.metta.answers | Sep 6, 2024, 1:24:46 PM | 163 B | |
| b2_backchain.metta | Sep 6, 2024, 1:24:46 PM | 2.87 KiB | |
| b2_backchain.metta.answers | Sep 6, 2024, 1:24:46 PM | 158 B | |
| b3_direct.metta | Sep 6, 2024, 1:24:46 PM | 1.34 KiB | |
| b3_direct.metta.answers | Sep 6, 2024, 1:24:46 PM | 166 B | |
| b4_nondeterm.metta | Sep 6, 2024, 1:24:46 PM | 4.56 KiB | |
| b4_nondeterm.metta.answers | Sep 6, 2024, 1:24:46 PM | 189 B | |
| b5_types_prelim.metta | Sep 6, 2024, 1:24:46 PM | 8.27 KiB | |
| b5_types_prelim.metta.answers | Sep 6, 2024, 1:24:46 PM | 382 B | |
| c1_grounded_basic.metta | Sep 6, 2024, 1:24:46 PM | 5.16 KiB | |
| c1_grounded_basic.metta.answers | Sep 6, 2024, 1:24:46 PM | 248 B | |
| c2_spaces_kb.metta | Sep 6, 2024, 1:24:46 PM | 264 B | |
| c2_spaces.metta | Sep 6, 2024, 1:24:46 PM | 1.77 KiB | |
| c2_spaces.metta.answers | Sep 6, 2024, 1:24:46 PM | 169 B | |
| c3_pln_stv.metta | Sep 6, 2024, 1:24:46 PM | 2.79 KiB | |
| c3_pln_stv.metta.answers | Sep 6, 2024, 1:24:46 PM | 159 B | |
| d1_gadt.metta | Sep 6, 2024, 1:24:46 PM | 2.41 KiB | |
| d1_gadt.metta.answers | Sep 6, 2024, 1:24:46 PM | 204 B | |
| d2_higherfunc.metta | Sep 6, 2024, 1:24:46 PM | 6.73 KiB | |
| d2_higherfunc.metta.answers | Sep 6, 2024, 1:24:46 PM | 389 B | |
| d3_deptypes.metta | Sep 6, 2024, 1:24:46 PM | 2.27 KiB | |
| d3_deptypes.metta.answers | Sep 6, 2024, 1:24:46 PM | 169 B | |
| d4_type_prop.metta | Sep 6, 2024, 1:24:46 PM | 5.33 KiB | |
| d4_type_prop.metta.answers | Sep 6, 2024, 1:24:46 PM | 453 B | |
| d5_auto_types.metta | Sep 6, 2024, 1:24:46 PM | 2.21 KiB | |
| d5_auto_types.metta.answers | Sep 6, 2024, 1:24:46 PM | 168 B | |
| e1_kb_write.metta | Sep 6, 2024, 1:24:46 PM | 895 B | |
| e1_kb_write.metta.answers | Sep 6, 2024, 1:24:46 PM | 148 B | |
| e2_states.metta | Sep 6, 2024, 1:24:46 PM | 3.31 KiB | |
| e2_states.metta.answers | Sep 6, 2024, 1:24:46 PM | 198 B | |
| e3_match_states.metta | Sep 6, 2024, 1:24:46 PM | 2.33 KiB | |
| e3_match_states.metta.answers | Sep 6, 2024, 1:24:46 PM | 179 B | |
| f1_imports.metta | Sep 6, 2024, 1:24:46 PM | 3.96 KiB | |
| f1_imports.metta.answers | Sep 6, 2024, 1:24:46 PM | 419 B | |
| f1_moduleA.metta | Sep 6, 2024, 1:24:46 PM | 625 B | |
| f1_moduleA.metta.answers | Sep 6, 2024, 1:24:46 PM | 228 B | |
| f1_moduleB.metta | Sep 6, 2024, 1:24:46 PM | 288 B | |
| f1_moduleC.metta | Sep 6, 2024, 1:24:46 PM | 291 B | |
|