View Makefile
CFLAGS = -std=c99 -Wall | |
main : main.o | |
.PHONY : test clean | |
test : main | |
./$^ "*regex*" "*vtable*" < main.c | |
clean : |
View implicit.agda
open import Agda.Builtin.Bool | |
data ⊥ : Set where | |
record ⊤ : Set where | |
isTrue : Bool → Set | |
isTrue true = ⊤ | |
isTrue false = ⊥ | |
data ℕ : Set where |