Skip to content

Instantly share code, notes, and snippets.

View louisswarren's full-sized avatar

Louis Warren louisswarren

View GitHub Profile
open import Agda.Builtin.Bool
data ⊥ : Set where
record ⊤ : Set where
isTrue : Bool → Set
isTrue true = ⊤
isTrue false = ⊥
data ℕ : Set where
@louisswarren
louisswarren / Makefile
Last active September 27, 2020 05:40 — forked from skeeto/Makefile
C Object Oriented Programming Example
CFLAGS = -std=c99 -Wall
main : main.o
.PHONY : test clean
test : main
./$^ "*regex*" "*vtable*" < main.c
clean :
@louisswarren
louisswarren / omp.c
Created August 4, 2023 06:40 — forked from milesrout/omp.c
// Hello