Hello,
Are there any libraries for "bidirectional" [1] programming
in Haskell? Any related work?
All I've found is a paper "There and back again: arrows for
invertible programming", which I couldn't find the full text of.
Cheers,
Artyom Shalkhakov.
[1] something along the lines of Boomerang <www.seas.upenn.edu/~harmony/>