https://github.com/hazelgrove/incremental-statics-agda

Mechanization of incremental actions and update dynamics for the marked lambda calculus.
https://github.com/hazelgrove/incremental-statics-agda

Last synced: 2 days ago
JSON representation

Mechanization of incremental actions and update dynamics for the marked lambda calculus.

• Host: GitHub
• URL: https://github.com/hazelgrove/incremental-statics-agda
• Owner: hazelgrove
• License: mit
• Created: 2024-10-23T00:42:45.000Z (23 days ago)
• Default Branch: main
• Last Pushed: 2024-11-04T19:17:44.000Z (10 days ago)
• Last Synced: 2024-11-04T19:34:35.575Z (10 days ago)
• Language: Agda
• Size: 50.8 KB
• Stars: 0
• Watchers: 8
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Incremental Typing Formalism