GitHub - josh-hs-ko/FLOLAC-14: Type Theory and Logic lectures for FLOLAC’14

Name		Name	Last commit message	Last commit date
Latest commit History 35 Commits
AC.pdf		AC.pdf
AC.tex		AC.tex
BinomialHeap.agda		BinomialHeap.agda
Implicational.agda		Implicational.agda
ImplicationalC.agda		ImplicationalC.agda
Makefile		Makefile
NatArith.agda		NatArith.agda
NatArithC.agda		NatArithC.agda
Russell.agda		Russell.agda
RussellC.agda		RussellC.agda
TT_lectures_4up.pdf		TT_lectures_4up.pdf
banner.pdf		banner.pdf
document.fmt		document.fmt
lecture_1.pdf		lecture_1.pdf
lecture_1.tex		lecture_1.tex
lecture_2.pdf		lecture_2.pdf
lecture_2.tex		lecture_2.tex
lecture_3.pdf		lecture_3.pdf
lecture_3.tex		lecture_3.tex
lecture_4.pdf		lecture_4.pdf
lecture_4.tex		lecture_4.tex
one-plus-one-equals-two.pdf		one-plus-one-equals-two.pdf
preamble.fmt		preamble.fmt

Provide feedback