circuits/Functor/Monoidal/Instance, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-01-13T23:15:31+00:00
Remove old monoidal functors
2026-01-13T23:15:31+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-13T23:15:31+00:00
urn:sha1:3bf15830058dab0baca2b8518e4fe1c4a7363e45
Add shorter name for singleton setoid
2025-12-09T19:25:39+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-12-09T19:25:39+00:00
urn:sha1:6272b4e84650b9833a53239b354770e0deba7b9a
Use functional vector in edge definition
2025-11-10T02:28:11+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-11-10T02:28:11+00:00
urn:sha1:ed5f0ae0f95a1675b272b205bb58724368031c01
Clean up System functors
2025-11-09T23:12:29+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-11-09T23:12:29+00:00
urn:sha1:6a5154cf29d98ab644b5def52c55f213d1076e2b
Add Circ symmetric monoidal functor
2025-11-05T14:17:33+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-11-05T14:17:33+00:00
urn:sha1:b2b2bdaa75406451174f0873cfd355e7511abd9a
Adjust universe levels
2025-11-05T14:11:48+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-11-05T14:11:48+00:00
urn:sha1:5f4d1cf740591476d3c7bc270fd11a2c578ab7e6
Remove unnecessary import
2025-11-04T05:30:58+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-11-04T05:30:58+00:00
urn:sha1:10df4f9f7a64a24c2c74731f9dc49e2d6f008b18
Add symmetric monoidal structure to Pull and System
2025-10-28T17:26:54+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-28T17:26:54+00:00
urn:sha1:8ac913160fcb3e6ec6af2b0f4cb25f45edd8212b
Add symmetric monoidal structure to Push functor
2025-10-22T06:20:25+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-22T06:20:25+00:00
urn:sha1:179740f30f8768ec60d3a3324084ef754a2cff2c
Add Preimage symmetric monoidal functor
2025-10-17T00:51:17+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-17T00:51:17+00:00
urn:sha1:e5b3cd06b1ba2504831db203a6be30c184df3274