Skip to content

Instantly share code, notes, and snippets.

Louis Warren louisswarren

Block or report user

Report or block louisswarren

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
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.