15 Jul
2015
15 Jul
'15
1:57 p.m.
Oh, someone has mentioned Frege, but there's also Ermine: https://github.com/ermine-language