| _e2_states_dia.metta | Dec 6, 2024, 9:46:38 AM | 1.92 KiB | |
| a1_symbols.metta | Dec 6, 2024, 9:46:38 AM | 2.38 KiB | |
| a1_symbols.metta.answers | Dec 6, 2024, 9:46:38 AM | 169 B | |
| a2_opencoggy.metta | Dec 6, 2024, 9:46:38 AM | 915 B | |
| a2_opencoggy.metta.answers | Dec 6, 2024, 9:46:38 AM | 139 B | |
| a3_twoside.metta | Dec 6, 2024, 9:46:38 AM | 1.57 KiB | |
| a3_twoside.metta.answers | Dec 6, 2024, 9:46:38 AM | 153 B | |
| b0_chaining_prelim.metta | Dec 6, 2024, 9:46:38 AM | 1.39 KiB | |
| b0_chaining_prelim.metta.answers | Dec 6, 2024, 9:46:38 AM | 159 B | |
| b1_equal_chain.metta | Dec 6, 2024, 9:46:38 AM | 2.39 KiB | |
| b1_equal_chain.metta.answers | Dec 6, 2024, 9:46:38 AM | 164 B | |
| b2_backchain.metta | Dec 6, 2024, 9:46:38 AM | 2.87 KiB | |
| b2_backchain.metta.answers | Dec 6, 2024, 9:46:38 AM | 159 B | |
| b3_direct.metta | Dec 6, 2024, 9:46:38 AM | 1.24 KiB | |
| b3_direct.metta.answers | Dec 6, 2024, 9:46:38 AM | 148 B | |
| b4_nondeterm.metta | Dec 6, 2024, 9:46:38 AM | 4.56 KiB | |
| b4_nondeterm.metta.answers | Dec 6, 2024, 9:46:38 AM | 188 B | |
| b5_types_prelim.metta | Dec 6, 2024, 9:46:38 AM | 8.24 KiB | |
| b5_types_prelim.metta.answers | Dec 6, 2024, 9:46:38 AM | 264 B | |
| c1_grounded_basic.metta | Dec 6, 2024, 9:46:38 AM | 5.16 KiB | |
| c1_grounded_basic.metta.answers | Dec 6, 2024, 9:46:38 AM | 249 B | |
| c2_spaces_kb.metta | Dec 6, 2024, 9:46:38 AM | 264 B | |
| c2_spaces.metta | Dec 6, 2024, 9:46:38 AM | 1.77 KiB | |
| c2_spaces.metta.answers | Dec 6, 2024, 9:46:38 AM | 169 B | |
| c3_pln_stv.metta | Dec 6, 2024, 9:46:38 AM | 2.79 KiB | |
| c3_pln_stv.metta.answers | Dec 6, 2024, 9:46:38 AM | 159 B | |
| d1_gadt.metta | Dec 6, 2024, 9:46:38 AM | 2.41 KiB | |
| d1_gadt.metta.answers | Dec 6, 2024, 9:46:38 AM | 203 B | |
| d2_higherfunc.metta | Dec 6, 2024, 9:46:38 AM | 6.71 KiB | |
| d2_higherfunc.metta.answers | Dec 6, 2024, 9:46:38 AM | 269 B | |
| d3_deptypes.metta | Dec 6, 2024, 9:46:38 AM | 2.27 KiB | |
| d3_deptypes.metta.answers | Dec 6, 2024, 9:46:38 AM | 0 B | |
| d4_type_prop.metta | Dec 6, 2024, 9:46:38 AM | 5.33 KiB | |
| d4_type_prop.metta.answers | Dec 6, 2024, 9:46:38 AM | 453 B | |
| d5_auto_types.metta | Dec 6, 2024, 9:46:38 AM | 2.21 KiB | |
| d5_auto_types.metta.answers | Dec 6, 2024, 9:46:38 AM | 168 B | |
| e1_kb_write.metta | Dec 6, 2024, 9:46:38 AM | 895 B | |
| e1_kb_write.metta.answers | Dec 6, 2024, 9:46:38 AM | 149 B | |
| e2_states.metta | Dec 6, 2024, 9:46:38 AM | 3.29 KiB | |
| e2_states.metta.answers | Dec 6, 2024, 9:46:38 AM | 199 B | |
| e3_match_states.metta | Dec 6, 2024, 9:46:38 AM | 2.33 KiB | |
| e3_match_states.metta.answers | Dec 6, 2024, 9:46:38 AM | 179 B | |
| f1_imports.metta | Dec 6, 2024, 9:46:38 AM | 3.96 KiB | |
| f1_imports.metta.answers | Dec 6, 2024, 9:46:38 AM | 420 B | |
| f1_moduleA.metta | Dec 6, 2024, 9:46:38 AM | 625 B | |
| f1_moduleA.metta.answers | Dec 6, 2024, 9:46:38 AM | 227 B | |
| f1_moduleB.metta | Dec 6, 2024, 9:46:38 AM | 288 B | |
| f1_moduleC.metta | Dec 6, 2024, 9:46:38 AM | 291 B | |
|