https://github.com/federicobruzzone/plfa

Programming Language Foundations in Agda
https://github.com/federicobruzzone/plfa

Last synced: 7 months ago
JSON representation

Programming Language Foundations in Agda

• Host: GitHub
• URL: https://github.com/federicobruzzone/plfa
• Owner: FedericoBruzzone
• License: apache-2.0
• Created: 2025-01-01T09:58:18.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2025-01-02T18:27:48.000Z (10 months ago)
• Last Synced: 2025-01-21T09:14:29.437Z (9 months ago)
• Language: Agda
• Size: 13.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project