/context

An OCaml library for manipulating De Bruijn indices/levels, name(spaces), and contexts

Primary LanguageOCamlGNU Lesser General Public License v3.0LGPL-3.0

This repository is not active