Geeks
ayberkt
/
agda-github-action
A GitHub action for typechecking Agda code.
Primary Language
Shell
agda-github-action GitHub
Markdown
Readme
0
Issues
7
Stargazers
4
Watchers
Stargazers
anqurvanillapy
@Shopee
georgejkaye
University of Birmingham
jmlowenthal
ma82
https://typal.tech/
MatthewDaggitt
rwe
Seattle, WA
simfleischman
SimSpace