circuits/Data/WiringDiagram, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-03-25T13:53:18+00:00
Add looped wiring diagrams and merge functor
2026-03-25T13:53:18+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-25T13:53:18+00:00
urn:sha1:11e8c93b5426ddfd75f1c9c495e4da0defbc08a6
Add pull functor from relations to wiring diagrams
2026-03-25T12:25:44+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-25T12:25:44+00:00
urn:sha1:e6de73dd1d40524bc9198096415e99fb45d4432a
Add wiring diagram equalities
2026-03-14T22:39:03+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-14T22:39:03+00:00
urn:sha1:66bdd7123027650ada325a3a2e3641b0a0ce375c
Refactor wiring diagrams
2026-03-14T21:49:35+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-14T21:49:35+00:00
urn:sha1:46f36b99c92225b374900457e02d89e9ffcffb52
Add preliminary category of wiring diagrams
2026-03-10T06:51:54+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-10T06:51:54+00:00
urn:sha1:2331484cdb32c2010f9b4685fdc4aff3235bcb8d
Add monoidal category of finite relations
2026-03-09T00:03:26+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-09T00:03:26+00:00
urn:sha1:8af247cd8682f98ac1aebe235abca2cbda2342b9