GitHub repository: konn/lambda-pi
Primary language: Haskell
Created: 2022-08-10T13:57:25Z
Description: My hobby implementation of dependent-type system