Geeks
alpha-convert
/
pacman
A proof that Idris is pacman complete
Primary Language
Idris
pacman GitHub
Markdown
Readme
1
Issue
8
Stargazers
1
Watcher
Watchers
joom
New York City