Geeks
elpinal
/
duploids
Duploids
Primary Language
Agda
Apache License 2.0
Apache-2.0
duploids GitHub
Markdown
Readme
0
Issues
5
Stargazers
1
Watcher
Stargazers
omasanori
Japan, or anywhere else
jonsterling
Cambridge, Cambridgeshire, UK
tkersey
Los Angeles, CA
dannypsnl
Taiwan
clayrat
Madrid