Skip to content
Snippets Groups Projects

Added associativity rules for append subtyping

Passed
Jonas Kastberg created pipeline for commit a5fa9833
, finished
For master
branch
1 job 5 minutes 49 seconds, queued for 2 seconds