Skip to content
Unverified Commit f9c952f3 authored by Kosyrev Serge's avatar Kosyrev Serge
Browse files

ghc84: remove unused overrides & minor proof updates

parent fe518310
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