Open solomon-b opened 7 months ago
if you have morphisms in Poly?
I don't currently have, but I'm thinking toward it. I vaguely remember that there are some papers discussing inductively defining a datatype for morphisms (and Cartesian morphisms) in Poly
.
Hi! I'm pretty terrible at reading dependent Haskell but I'm incredibly impressed you have gotten a working encoding of Poly in it.
I was wondering if you have morphisms in Poly? And if so what it would look like to encode a Moore Machine
Sy^S => Oy^I
?