GitHub - rszczers/CurryHoward: Moje przygody z rachunkiem λ

Name		Name	Last commit message	Last commit date
Latest commit History 180 Commits
_minted-main		_minted-main
includes		includes
plan		plan
.bibdb.bib.swp		.bibdb.bib.swp
.gitignore		.gitignore
Makefile		Makefile
bibdb.bib		bibdb.bib
ex.hi		ex.hi
ex.hs		ex.hs
ex.o		ex.o
fitch.sty		fitch.sty
main.tex		main.tex
rachunek-lambda.pdf		rachunek-lambda.pdf
test.f		test.f