agda-hack

A place to collect things I learn about Agda.

Things

Name		Name	Last commit message	Last commit date
Latest commit History 60 Commits
agda-stdlib @ e47adf6		agda-stdlib @ e47adf6
agt		agt
bf		bf
overture		overture
.base-image		.base-image
.base-image.digest		.base-image.digest
.dockerignore		.dockerignore
.gitignore		.gitignore
.gitmodules		.gitmodules
.travis.yml		.travis.yml
Dockerfile		Dockerfile
GNUmakefile		GNUmakefile
README.md		README.md
base.dockerfile		base.dockerfile
common.mk		common.mk
run.sh		run.sh
test-runner.sh		test-runner.sh