defk-w8r.3: rank parameters in declaration order, so a guard between two arguments bounds the later one - #80

defk-w8r.3: rank parameters in declaration order, so a guard between two arguments bounds the later one#80

DanielLuning merged 2 commits into

mainDanielLuning/defk:mainfrom

defk-w8r.3/gather-loop-proofsDanielLuning/defk:defk-w8r.3/gather-loop-proofsCopy head branch name to clipboard