I think you may have missed the joke here. A pyramid scheme is an unsustainable business model where the gains accrue at the top. The fact the author built it in racket (a racket being another dishonest scheme) makes it all the funnier.

FWIW, I made my MSc thesis working on Idris as a smart contract programming language:

https://publications.lib.chalmers.se/records/fulltext/234939...

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

I've long wanted to be able to make a "The Year of Linux on the Blockchain" post title.