GitHub repository: rudynicolop/Type-Reconstruction
Primary language: Coq
Created: 2021-07-25T22:49:13Z
Description: Descriptions & implementations of type-reconstruction/inference algorithms.