GitHub repository: lambe-lang/nethra
Primary language: OCaml
Created: 2022-02-17T06:16:03Z
Description: Minimal core language based on dependent function type, dependent pair type, recursive type, sum type and dependant record type.