Basil
12,019
reputation
43
69
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.