3 ms·
As Haskell begins to get more and more dependently typed features this could definitely be an exciting possibility (I think there are folks already working on t
by bjz_ 8y ago
As Haskell begins to get more and more dependently typed features this could definitely be an exciting possibility (I think there are folks already working on this).
- lgas 8y agoIndeed there are: https://www.youtube.com/watch?v=ulwoUq6VaSs https://www.youtube.com/watch?v=ulwoUq6VaSs