395-2013

This repo contains Coq code for functions from Chris Okasaki's paper:

Three algorithms on Braun trees

Journal of Functional Programming

Volume 7 Issue 6, November 1997, 661 - 666

Name		Name	Last commit message	Last commit date
Latest commit History 121 Commits
new		new
old		old
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
braun.v		braun.v
copy.v		copy.v
insert.v		insert.v
le_util.v		le_util.v
log.v		log.v
log_sq.v		log_sq.v
make_array.v		make_array.v
monad.v		monad.v
same_structure.v		same_structure.v
size-scratch.rkt		size-scratch.rkt
size.v		size.v
util.v		util.v

maxsnew/395-2013