Programming project for the course "2.4 - Functional programming and type systems" at MPRI (Paris-Diderot).
-
Notifications
You must be signed in to change notification settings - Fork 0
Compiler from simply-typed lambda calculus to a categorical language.
License
DeVilhena-Paulo/LambdaCat
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Compiler from simply-typed lambda calculus to a categorical language.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published