knuton/la-girafe-sportive — pull request #11 by yfyf (2013-12-12 18:56:44+00:00)
Title: Use unicode to display de Bruijn lterms nicely

This uses three different types of unicode spaces for syntax.