Hacker News new | ask | show | jobs
by elliancarlos 118 days ago
I was expecting a use of the lean programming language, but nonetheless this work is very interesting.