louisswarren

CFLAGS = -std=c99 -Wall

main : main.o

.PHONY : test clean

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

clean :

louisswarren

open import Agda.Builtin.Bool

data ⊥ : Set where
record ⊤ : Set where

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

data ℕ : Set where