Open BebeSparkelSparkel opened 4 years ago
@yairchu
@frasertweedale
@ChrisPenner
@seagreen
Small correction, the purescript-snap
thing doesn't have anything to do with the "Composing bidirectional programs monadically" paper. They just happen to explore related ideas that fed into the co-optics repo.
I see. I will remove it
You may also be interested in our Haskell 18 paper below, which discusses an embedded implementation of an invertible pretty printing system called FliPpr. https://www2.sf.ecei.tohoku.ac.jp/~kztk/papers/kztk_haskell2018.pdf (author version) There is also a prototype implementation of the paper https://github.com/kztk-m/flippre.
The original FliPpr system is also related to the topic.
If anyone has relevant links/references/sources to this, could you please add them here so that we can pool our external sources?