GitHub - lsd-ucsc/csds: Causal separation diagrams

Name	Name	Last commit message	Last commit date
Latest commit Twisol Anonymize artifact Jul 12, 2023 bea5e11 · Jul 12, 2023 History 2 Commits
Clock	Clock	Artifact for POPL 2024 submission	Jul 12, 2023
Execution	Execution	Anonymize artifact	Jul 12, 2023
DependentEquality.agda	DependentEquality.agda	Artifact for POPL 2024 submission	Jul 12, 2023
csds.agda-lib	csds.agda-lib	Artifact for POPL 2024 submission	Jul 12, 2023