by mpoteat on 10/29/22, 11:18 PM with 3 comments
by mpoteat on 10/29/22, 11:20 PM
This package allows you to do higher order 'map' operations on the type level, with a legible and extensible interface.
by ldlework on 10/29/22, 11:24 PM