GitHub repository: muldvarp/LocalHOFPIter
Primary language: OCaml
Created: 2020-06-30T08:42:08Z
Description: A conceptual implementation of local higher-order fixpoint iteration