bartholomew 🐈‍⬛🏴 (@bmorphism) • Hey

"A bidirectional transformation is a specification of when the joint state of two systems should be regarded as consistent, together with a protocol for up

Stats