Skip to content

Instantly share code, notes, and snippets.

Avatar

Louis Warren louisswarren

View GitHub Profile
@louisswarren
louisswarren / Makefile
Last active Sep 27, 2020 — forked from skeeto/Makefile
C Object Oriented Programming Example
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