https://github.com/hazelgrove/patterns-agda

A mechanization of "Pattern Matching with Typed Holes"
https://github.com/hazelgrove/patterns-agda

Last synced: 2 days ago
JSON representation

A mechanization of "Pattern Matching with Typed Holes"

• Host: GitHub
• URL: https://github.com/hazelgrove/patterns-agda
• Owner: hazelgrove
• Created: 2021-11-07T18:45:36.000Z (about 3 years ago)
• Default Branch: master
• Last Pushed: 2022-03-03T07:45:07.000Z (over 2 years ago)
• Last Synced: 2023-03-23T00:40:53.567Z (over 1 year ago)
• Language: Agda
• Size: 591 KB
• Stars: 0
• Watchers: 9
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project