LambdaPiPlus extends the language LambdaPi, from "A Tutorial Implementation of a Dependently Typed Lambda Calculus.". The language has been extended with Dependent Pairs and metavariables, in place of implicit arguments. The unification algorithm used is adapted from "A tutorial implementation of dynamic pattern unification".
-
Notifications
You must be signed in to change notification settings - Fork 2
A simple Depdently-Typed Language for Research and Learning
License
lambda-pi-plus/lambda-pi-plus
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A simple Depdently-Typed Language for Research and Learning
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published