1 comment

[ 0.39 ms ] story [ 18.9 ms ] thread
I was expecting a use of the lean programming language, but nonetheless this work is very interesting.