Collapse file tree

Files

 main

Search this repository

/

scripts

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

vsbogd

Comment out test which has different behavior in minimal MeTTa

Oct 24, 2023

1646df9 · Oct 24, 2023

History

History

Open commit details

This branch is 8 commits ahead of, 1862 commits behind trueagi-io/hyperon-experimental:main.

/

scripts

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
_e2_states_dia.metta		_e2_states_dia.metta	Use Rust add-atom remove MeTTaPy usage	Nov 16, 2022
a1_symbols.metta		a1_symbols.metta	Address comments on PR	Aug 14, 2023
a2_opencoggy.metta		a2_opencoggy.metta	Add explanation to example	Aug 2, 2023
a3_twoside.metta		a3_twoside.metta	Address comments on PR	Aug 14, 2023
b0_chaining_prelim.metta		b0_chaining_prelim.metta	undo commenting out in b0_chaining_prelim.metta	Aug 16, 2023
b1_equal_chain.metta		b1_equal_chain.metta	Address comments on PR	Aug 14, 2023
b2_backchain.metta		b2_backchain.metta	Incorporate PR corrections	Aug 15, 2023
b3_direct.metta		b3_direct.metta	Comment b3	Aug 3, 2023
b4_nondeterm.metta		b4_nondeterm.metta	Explain nop	Aug 14, 2023
b5_types_prelim.metta		b5_types_prelim.metta	Comment out test which has different behavior in minimal MeTTa	Oct 24, 2023
c1_grounded_basic.metta		c1_grounded_basic.metta	introducing unit result in grounded functions	Oct 4, 2023
c2_spaces.metta		c2_spaces.metta	Add .tv explanation	Aug 14, 2023
c2_spaces_kb.metta		c2_spaces_kb.metta	add tokenizer into metta runner constructor	Dec 6, 2022
c3_pln_stv.metta		c3_pln_stv.metta	Add .tv explanation	Aug 14, 2023
d1_gadt.metta		d1_gadt.metta	Comment d1	Aug 4, 2023
d2_higherfunc.metta		d2_higherfunc.metta	Comment d2	Aug 5, 2023
d3_deptypes.metta		d3_deptypes.metta	Enhance description of bad typing	Aug 14, 2023
d4_type_prop.metta		d4_type_prop.metta	Comment d4	Aug 8, 2023
d5_auto_types.metta		d5_auto_types.metta	Enhance description of bad typing	Aug 14, 2023
e1_kb_write.metta		e1_kb_write.metta	introducing unit result in grounded functions	Oct 4, 2023
e2_states.metta		e2_states.metta	introducing unit result in grounded functions	Oct 4, 2023
e3_match_states.metta		e3_match_states.metta	Comment e3	Aug 9, 2023
f1_imports.metta		f1_imports.metta	Extensive rework of Environment API, to permit multiple coexisting en…	Oct 6, 2023
f1_moduleA.metta		f1_moduleA.metta	Comment f1 files	Aug 9, 2023
f1_moduleB.metta		f1_moduleB.metta	Comment f1 files	Aug 9, 2023
f1_moduleC.metta		f1_moduleC.metta	Comment f1 files	Aug 9, 2023
View all files