semigroup

11Hitze

2Antwort

Verwenden benannte Instanzen für andere Instanzen

Ich versuche, eine Semigroup und VerifiedSemigroup Instanz auf meine benutzerdefinierten Bool Datentyp sowohl Betreiber ||&& und Betreiber zu machen: %case data Lógico = Cierto | Falso (&&) : Lógico

typeclass idris formal-verification named-instance semigroup 2015-02-01

---