circuits/Category/Instance/Setoids, branch main

circuits/Category/Instance/Setoids, 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 Make setoids monoidal structure opaque 2025-12-06T22:31:59+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-06T22:31:59+00:00 urn:sha1:e62bc618513cd9daa9f5cbcc98daa3a4fbf9fb99 Add second level parameter to Setoids SMC 2025-10-28T22:38:12+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-10-28T22:38:12+00:00 urn:sha1:340907b17a215766a18808ce4b98fabe0f465961 Add decorated cospans 2024-09-19T17:34:28+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2024-09-19T17:34:28+00:00 urn:sha1:8a832a39547c21a0cde9cd3671f0368cd35c26c0