stefan-hoeck/idris2-tutorial Stargazers
- Daniel Kahlenberg573
- Athanasios Anastasiouaanastasiou
- Adam Shayloradamshaylor
- Kevin Nolanallforabit
- Andreas Prellaprell
- Bobbobbbay
- Benbvisch
- Carlos Valientecarletes
- Corey Reececorey
- dxod-xo
- Emile Rolley ⏚EmileRolley
- Fernando Silvafersilva16
- Garren
- Furqan Alihafizfurqan
- Jeroen de Haasjeroendehaas
- joao guilhermejoaogui1
- Joel Berkeleyjoelberkeley
- J. Ryan Stinnettjryans
- Wei Yichenkinddevil
- Andrey Kirichenkokirandark
- ji estkozinaki
- Mathew Polzinmattpolzin
- Nikitanikitavoloboev
- SergeyNojpg
- Patrick Loganpatrickdlogan
- jadonphase
- NELLOpulcinello
- Shohei Shimomurash0hei
- Kamil Shakirovska80
- Sridhar Ratnakumarsrid
- Tomáš Svobodasvobot
- Tanguy Launaytanguy-launay
- Attila Gulyastoraritte
- Vascovascorsd
- Vasyl Zubkovazub
- Ilmari Vacklinwolverian