Functional Futures: Dependent Types with David Christiansen Posted by aroccoli on Thursday September 15, 2022 @11:01AM from the serokell.io dept. https://serokell.io/blog/dependent-types-with-david-christiansen ( no comments | 3 points | on HN )
There are no comments yet.