una

m e z.c l/a

de cosas

Never A proof of P ≠ NP

2018-01-19 The Kolakoski stream

2017-12-03 A DSL for λ-terms in Scala

2017-11-30 Discovering typeclasses in Scala

2017-09-17 Evolving a website