Skip to content
Snippets Groups Projects
Commit 03a8bda4 authored by Irene Yoon's avatar Irene Yoon
Browse files

factor out inductive case for expr refl

parent 36b35468
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment