On: Frege

[andrewcooke]

there are some examples on the wikipedia page - http://en.wikipedia.org/wiki/Frege_(programming_language)

[voxfrege → andrewcooke]

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.