Skip to content
GitLab
Explore
Sign in
Cacciari Miraldo, V. (Victor)
diff-agda
Issues
#4
conflict solving
Our conflict datatype should be indexed by the corresponding datatype.