Agda mechanization accompanying the paper titled Lax Modal Lambda Calculi (to appear at CSL 2026).
See src/Everything.agda.
nachivpn/s
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Agda mechanization accompanying the paper titled Lax Modal Lambda Calculi (to appear at CSL 2026).
See src/Everything.agda.