GitHub repository: sColin16/structured-lambda
Primary language: OCaml
Created: 2023-10-17T04:50:33Z
Description: A structurally-typed lambda calculus that serves as a basis for structurally-typed functional languages