2 ms·
Author here. If you are interested I talked about type theory at euroclojure'16. The video is there: https://m.youtube.com/watch?v=5YTCY7wm0Nw https://m.youtub
by fredokun 8y ago
Author here. If you are interested I talked about type theory at euroclojure'16.
The video is there:
https://m.youtube.com/watch?v=5YTCY7wm0Nw https://m.youtube.com/watch?v=5YTCY7wm0Nw
... And it's not really clojure-specific except if you want to try LaTTe:
https://github.com/latte-central/LaTTe https://github.com/latte-central/LaTTe