The example project not working.
Closed this issue · 2 comments
weihongliang233 commented
Great work, but please check this issue.
The example project WordleInIdris seems out-dated. It uses an old vscode extension, throwing error when opening in vscode devcontainer, I think it is not "ready-to-use" anymore.
joshuanianji commented
Hey @weihongliang233, thanks for letting me know! I added an example project in examples/ to replace the WordleInIdris project, let me know if it works for you.
weihongliang233 commented
Yes I have tried this example. It works well on my machine! 🎉