Skip to content

Instantly share code, notes, and snippets.

Louis Warren louisswarren

View GitHub Profile
View implicit.agda
open import Agda.Builtin.Bool
data : Set where
record : Set where
isTrue : Bool Set
isTrue true =
isTrue false =
data : Set where
You can’t perform that action at this time.