hyperon-experimental/python/tests/scripts at main · CICS-Oleg/hyperon-experimental · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
a1_symbols.metta		a1_symbols.metta
a2_opencoggy.metta		a2_opencoggy.metta
a3_twoside.metta		a3_twoside.metta
b0_chaining_prelim.metta		b0_chaining_prelim.metta
b1_equal_chain.metta		b1_equal_chain.metta
b2_backchain.metta		b2_backchain.metta
b3_direct.metta		b3_direct.metta
b4_nondeterm.metta		b4_nondeterm.metta
b5_types_prelim.metta		b5_types_prelim.metta
c1_grounded_basic.metta		c1_grounded_basic.metta
c2_spaces.metta		c2_spaces.metta
c2_spaces_kb.metta		c2_spaces_kb.metta
c3_pln_stv.metta		c3_pln_stv.metta
d1_gadt.metta		d1_gadt.metta
d2_higherfunc.metta		d2_higherfunc.metta
d3_deptypes.metta		d3_deptypes.metta
d4_type_prop.metta		d4_type_prop.metta
d5_auto_types.metta		d5_auto_types.metta
e1_kb_write.metta		e1_kb_write.metta
e2_states.metta		e2_states.metta
e3_match_states.metta		e3_match_states.metta
f1_imports.metta		f1_imports.metta
f1_moduleA.metta		f1_moduleA.metta
f1_moduleB.metta		f1_moduleB.metta
f1_moduleC.metta		f1_moduleC.metta
g1_docs.metta		g1_docs.metta