Louis Warren louisswarren

Analyst, programmer, logician.

louisswarren / omp.c

Created August 4, 2023 06:40 — forked from milesrout/omp.c

// Hello

louisswarren / Makefile

Last active September 27, 2020 05:40 — forked from skeeto/Makefile

C Object Oriented Programming Example

louisswarren / implicit.agda

Last active March 21, 2019 10:26 — forked from milesrout/meme.agda

	open import Agda.Builtin.Bool

	data ⊥ : Set where
	record ⊤ : Set where

	isTrue : Bool → Set
	isTrue true = ⊤
	isTrue false = ⊥

	data ℕ : Set where