circuits/Data/Hypergraph, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2025-11-10T02:28:11+00:00 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 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 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 Add Circ functor 2025-10-31T00:23:31+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-10-31T00:23:31+00:00 urn:sha1:d2ce2675b5e0331b6bf5647a4fc195e458d9b5ee Refactor list-based hypergraphs 2025-10-29T17:07:13+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-10-29T17:07:13+00:00 urn:sha1:d69dc150a8f4eea8ec84dc19dd4e338fe507fd30 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 Add Hypergraph setoid 2025-07-18T22:45:53+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-07-18T22:45:53+00:00 urn:sha1:d91f74bce9a8eb1dd38f74de5fae597bde54df5a Split hypergraph label and edge into separate files 2025-07-09T17:15:51+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-07-09T17:15:51+00:00 urn:sha1:ee5c56a58154840f08a18d581983d6f6f3630970 Finish strict total order for hypergraph edges 2025-07-03T16:55:43+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-07-03T16:55:43+00:00 urn:sha1:1ea3199a7806ecbefba986ea28cf976497da5ca4 Begin strict total order for hypergraph edges 2025-07-02T04:09:57+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-07-02T04:09:57+00:00 urn:sha1:6831517a4a8358415e5664b974000620b2581c3f