6,361
reputation
2
3

Basil

Student of computer science with an interest in functional programming languages, compiler theory, formal verification, the GNU/Linux operating system, text editing software and free software in general.