circuits/Data/Circuit, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-07-07T20:32:20+00:00
Update circuit values
2026-07-07T20:32:20+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-07T20:32:20+00:00
urn:sha1:a07a9d6ea38c55aeac59cb93678b9c830ce54705
Update circuit typechecker
2026-07-07T20:13:29+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-07T20:13:29+00:00
urn:sha1:decc78659f34ded3f8f9fa5540159efa19330626
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
Use permutation for equivalence of hypergraphs
2025-11-04T05:29:21+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-11-04T05:29:21+00:00
urn:sha1:298baf2b69620106e95b52206e02d58ad8cb9fc8
Update hypergraph equivalence
2025-10-29T17:53:46+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-29T17:53:46+00:00
urn:sha1:0d876849094f2851247c5d2dce994b6387208712
Add Circuit type
2025-10-29T17:52:04+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-29T17:52:04+00:00
urn:sha1:b651e4d5153fc360d1943de3b73e910fc1f2b7ff
Merge branch 'hypergraph-conversion'
2025-10-28T22:20:33+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-28T22:20:33+00:00
urn:sha1:0bf55c23ad3bee621d0e7425f5a5e875254e3450
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
Use new if-then-else property
2025-10-15T19:35:40+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-15T19:35:40+00:00
urn:sha1:5f18ab3cac36f29e612886eca114ff3e07c26b4e
Strengthen permutation sort theorem
2025-10-15T18:31:13+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-15T18:31:13+00:00
urn:sha1:21aa7526f51030be9ffd86be2eabd5d07f64b6f4