GitHub - btbytes/ATSPresentation

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
array.dats		array.dats
ats-screenshot.png		ats-screenshot.png
filter_list.dats		filter_list.dats
minimal.dats		minimal.dats
presentation.org		presentation.org
print_list.dats		print_list.dats
proof_functions.dats		proof_functions.dats
safe_malloc.dats		safe_malloc.dats
safe_swap.dats		safe_swap.dats
swap.c		swap.c
swap_from_ats.dats		swap_from_ats.dats
swap_runner.dats		swap_runner.dats

Repository files navigation

ATS presentation given at LambdaLounge on August 5, 2015.

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published

Languages

ATS 73.4%
Makefile 22.3%
C 4.3%