Open gl-yziquel opened 11 months ago
Thanks for your interest, @gl-yziquel. I'm not the one who wrote that code. The rest of the AI-DSL repo should well documented (when it's my work anyway). Let me know if you need help elsewhere.
Note that we're moving away from Idris to use MeTTa instead. Idris is awesome but MeTTa program synthesis capabilities are better.
Hi.
Amazed to see some real life Idris code. I guess it's the first time I stumble on that: real life Idris code. Stunned.
I tried looking at what the repo was doing a bit. And there obviously is little indication as to how to build it. (which kind of seems to be a constant in opencog derived projects...)
Got a kind of syntax error with the first thing I tried to build.
Could it be possible to have some more detailed instructions as to how to have some fun with this repo ?