Giters
msp-strath
/
platypus
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
21
Watchers:
16
Issues:
2
Forks:
1
platypus
About
Languages
Language:
Haskell
47.6%
Language:
Agda
31.8%
Language:
TeX
20.5%
Language:
Makefile
0.1%