The Elm architecture ported to Idris Programming language
Why do you think that https://github.com/digitallyinduced/ihp is a good alternative to idris-elm
The Elm architecture ported to Idris Programming language
Why do you think that https://github.com/digitallyinduced/ihp is a good alternative to idris-elm