240 followers
Dependent Types at Work by Ana Bove and Peter Dybjer https://t.co/jjJRkYv0dT with a nice example of sorted binary tree.
Dependent Types at Work by Ana Bove and Peter Dybjer https://t.co/jjJRkYv0dT with a nice example of sorted binary tree.