circuits - Tiny circuits DSL

index : circuits

Tiny circuits DSL

jacques@jacquescomeaux.xyz

about summary refs log tree commit diff

Branch	Commit message	Author	Age
main	Add hypergraph destructor setoid homomorphism	Jacques Comeaux	20 hours

generated by cgit v1.2.3 (git 2.39.1) at 2025-12-14 22:15:32 +0000