cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

[ re agda/#1625 ] Rename --experimental-lossy-unification -> --lossy-unification

Open jespercockx opened this issue 3 years ago • 0 comments

See https://github.com/agda/agda/issues/1625#issuecomment-1091699806

jespercockx avatar Sep 01 '22 15:09 jespercockx