algebraic-dev/idris-4-noobs
📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
Idris
Stargazers
- TsugamiBrazil
- ortolanrjCloud
- NiumXp
- NathanHourth
- BernardoDeveloperBrasil, São Bernardo do Campo
- fabinzneBelo Horizonte, Brasil
- celsobonuttiSalvador, Bahia
- miguel-nascimentoIgaraçu do Tietê, São Paulo - Brazil
- fersilva16Minas Gerais, Brazil
- biantrisSão LuÃs, Brasil
- KindaSlothSão Paulo
- 2vitor
- ropokoBarra Bonita, São Paulo - Brasil
- ViiictorXDSão Paulo, Brazil
- derpyxdBrazil
- Saylon-Gabriel
- ImGabeBrazil, Rio de janeiro
- takusumanBrazil
- aripiprazoleSão Paulo, Brasil
- 1moitaBrazil
- VictorTaelinRio de Janeiro, Brazil
- coerus
- ebigram
- jrflga
- YgorCastorNetherlands
- DejanMilicicSerbia
- lffgBelo Horizonte, Brazil
- viniciusmuller
- joaolucaseteMinas Gerais
- justleooBrazil
- pedroigorjsSão Paulo, Brasil
- wrongbyteBrazil
- nogharttBrazil
- gsbcamargo
- mauvieiraRemote
- arthurbacciRio de Janeiro