Skip to content
GitLab
Explore
Sign in
Andreas Klöckner
dagrt
Commits
Unverified
Commit
99401186
authored
May 27, 2021
by
Andreas Klöckner
Committed by
GitHub
May 27, 2021
Browse files
Merge pull request
#14
from inducer/kind-inf-sum-not-special
Kind inference: do not treat sums specially
parents
9448bc4f
92ed9755
Pipeline
#168695
passed with stage
in 45 seconds
Changes
2
Pipelines
1