Strongly typed representation of binding environments. It guarantees that names are looked-up in the proper context.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
Frédéric Bour 5c6befa536 wip: test_hm_strong_abs 10 months ago
lib World.v_weak -> World.v 10 months ago
tests wip: test_hm_strong_abs 10 months ago
.gitignore Initial commit 12 months ago
LICENSE Initial commit 12 months ago
Makefile import 12 months ago
README.md Initial commit 12 months ago
dune-project import 12 months ago

README.md

strongenv

Strongly typed representation of binding environments. It guarantees that names are looked-up in the proper context.