FWIW, I made my MSc thesis working on Idris as a smart contract programming language: https://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf h

FWIW, I made my MSc thesis working on Idris as a smart contract programming language: https://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf https://publications.lib.chalmers.se/records/fulltext/234939... https://github.com/vindaloo-thesis/idris-se https://github.com/vindaloo-thesis/idris-se Note that the state of the code is a messy PoC and abandonware - I hope to be able to pick up the ball here again at some point but probably not happening any time soon. If anyone really wants to continue on this and wants to take over as a maintainer, feel free to PM. Someone also created this list of resources: https://github.com/pirapira/fp-ethereum https://github.com/pirapira/fp-ethereum