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

Publications