jespercockx/agda-lecture-notes Stargazers
- Jacob Tan En2jacobtan
- Adrian Maneaadimanea
- Antoine Martinalarsyo
- Alexandru Morarualemoraru
- Anquranqurvanillapy
- beike-zh
- Miguel Ramosboilnkettle
- Siddharthbollu
- Armando Santosbolt12
- Brendan Zabarauskasbrendanzab
- BrookMakF
- Lîm Tsú-thuàndannypsnl
- Dan Oneațădanoneata
- Eagleeagle-k
- eashanhatti
- Lucas Escotflupe
- Shubhad Mathurfrontseat-astronaut
- Georgi Lyubenovgoogleson78
- Graeme McCutcheongraememcc
- 许杰友 Jieyou Xu (Joe)jieyouxu
- Jamie Lowenthaljmlowenthal
- Wes Widnerkai5263499
- kevincharm
- Peter FortinKripkesBeard
- Bohdan Liesnikovliesnikov
- logicshan
- Nikitanikitavoloboev
- Orpheus Lummisorpheuslummis
- Rintcius Blokrintcius
- Rodrigo Geraldo Ribeirorodrigogribeiro
- Yang Ming-Tianskylee03
- Sgsuica
- Tim Kerseytkersey
- Serge Volkovvserge
- Yasir Alguwaifliymg
- Zehao Chenzehaochen19