On: Frege

[voxfrege]

Unfortunately, the Wiki page is a bit outdated.

The repo contains an example folder: https://github.com/Frege/frege/tree/master/examples

And, of course, the compiler is itself written in Frege.