agda2scheme icon indicating copy to clipboard operation
agda2scheme copied to clipboard

Published 20 hours ago • verified publisher icon jespercockx

Use projections instead of match for single-case matches

Open jespercockx opened this issue 3 years ago • 0 comments

Instead of matching, we could instead just project out the fields of the record directly.

jespercockx avatar May 12 '22 07:05 jespercockx