circuits/DecorationFunctor/Hypergraph, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2025-12-09T19:25:39+00:00
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
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
Import missing pattern synonym
2025-07-19T06:42:29+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-07-19T06:42:29+00:00
urn:sha1:e5ef6bd45cd5fc77e14bea3d2d57b4fc789e6431
Allow arity-0 hyperedges in functional hypergraphs
2025-07-09T18:36:45+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-07-09T18:36:45+00:00
urn:sha1:5915304301fb834182eaf9c8d5664e7e3be5eeb2
Add labeled hypergraph decoration functor
2025-05-01T16:14:50+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-05-01T16:14:50+00:00
urn:sha1:2fa014cfc9196de99f3997090aec8128ec703dcc