This project was an excellent idea. It’s sad it never got to anything. If you deal with small businesses/artists/non-profits, there are still so many websites that run on cheap php-only infrastructures.
Fortunately, there is GitHub - edwinb/idris-php: Yes, really...
Idris to PHP back end
Please, don’t ever use this.