Geeks
peterthiemann
/
definitional-session
Primary Language
Agda
BSD 3-Clause "New" or "Revised" License
BSD-3-Clause
definitional-session GitHub
Markdown
Readme
0
Issues
12
Stargazers
2
Watchers
Stargazers
fferreira
London, UK
larrytheliquid
New York, NY, USA
scott-fleischman
L-TChen
Taiwan
phink
Paris (FR)
clayrat
Madrid
pnlph
Leipzig
beike-zh
fangyi-zhou
London, UK
dannypsnl
Taiwan
LighghtEeloo
Ann Arbor
SimonDaniel21