search

singnet / asmoses

Port of MOSES (https://github.com/opencog/moses) for the AtomSpace (https://github.com/opencog/atomspace)
Other
6 stars 5 forks source link

Atomese type cheaker #99

Closed KirosHailay closed 5 years ago

ngeiswei commented 5 years ago

That's great @KirosHailay , could you rebase your branch onto the master to resolve the conflicts? Thanks.

ngeiswei commented 5 years ago

@KirosHailay the oc_to_string functions need to be exactly under the opencog namespace.