equalityHow to Notify the Agda T

equality - How to Notify the Agda Type-Checker that two Types are Indeed Equal? - Stack Overflow
Here is a minimum (not-)working example.infix 4 _≡_data _≡_ {a} {A : Set a} (x : A) : A → Set a where
equalityHow to Notify the Agda TypeChecker that two Types are Indeed EqualStack Overflow
admin17小时前
10