Home Page:https://wolverian.github.io/dawn/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
A formalization of the Dawn language in Agda.
https://wolverian.github.io/dawn/