8 May
2020
8 May
'20
3:13 p.m.
One more pro here! Whatever pro means! ;-) Using lisp in my day-by-day work as researchers in NLP and Logics. But recently working more to dependent type systems like http://leanprover.github.io.
Best,
-- Alexandre Rademaker http://arademaker.github.io