GitHub - panacekcz/plume-lib-check-index-new: Typecheck plume-lib with the Index Checker, to guarantee no index-out-of-bounds errors

panacekcz / plume-lib-check-index-new Public

forked from smillst/plume-lib-check-index-new

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Typecheck plume-lib with the Index Checker, to guarantee no index-out-of-bounds errors

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1,974 Commits
bin		bin
docs		docs
emacs		emacs
etc		etc
java		java
tests		tests
.classpath		.classpath
.gitignore		.gitignore
.project		.project
.travis.yml		.travis.yml
Makefile		Makefile
README		README

Repository files navigation

Plume-lib: a library of utilities for programming

The documentation is available in file docs/index.html .

It is also available at the plume-lib homepage:
https://mernst.github.io/plume-lib/