Skip to content
Snippets Groups Projects
Commit d0342a67 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Merge branch 'robbert/kill_laters' into 'master' 

Change recursive domain to `proto = 1 + (action * :arrow_forward: (V → proto → PROP))`.

See merge request !7
parents ec1c6439 51a90f82
No related branches found
No related tags found
1 merge request!7Change recursive domain to `proto = 1 + (action * ▶ (V → proto → PROP))`.
Pipeline #26928 passed
Expand all Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment