Stars
2
stars
written in Coq
Clear filter
Bidirectional programming in Haskell with monadic profunctors
Bidirectional programming in Haskell with monadic profunctors