Louis Warren louisswarren

## Makefile
CFLAGS = -std=c99 -Wall

main : main.o

.PHONY : test clean

test : main
	./$^ "*regex*" "*vtable*" < main.c

clean :

## implicit.agda
open import Agda.Builtin.Bool

data ⊥ : Set where
record ⊤ : Set where

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

data ℕ : Set where
	CFLAGS = -std=c99 -Wall

	main : main.o

	.PHONY : test clean

	test : main
	./$^ "regex" "vtable" < main.c

	clean :
	open import Agda.Builtin.Bool

	data ⊥ : Set where
	record ⊤ : Set where

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

	data ℕ : Set where