Arthur
Results
1
issues of
Arthur
# Steps to Reproduce ```idris f : { a, b : Type } -> Either a b -> Either b a f {a=b} x = x f (Right x) =...