/invargent

Invariant Generation as Type Inference with GADTs and Existentials

Primary LanguageOCaml

Watchers