A self-contained repository for the paper A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
To check this development, you'll need:
- Agda 2.6.1.3
- Agda's Standard Library 1.5
-
Notifications
You must be signed in to change notification settings - Fork 11
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
License
gallais/generic-syntax
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published