You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
mini-me@virtucon ~/h/c/a/e/a/NeuralNets (master)> idris2 Main.idr -o MainUncaught error: Error: Expected a capitalised identifier, got: lst.Main:3:24--3:27 1 | module Main 2 | import Lib 3 | import Prelude.List as lst
Could it be possible to have some more detailed instructions as to how to have some fun with this repo ?
The text was updated successfully, but these errors were encountered:
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.
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 ?
The text was updated successfully, but these errors were encountered: