Idris 2 Community (Unofficial)
Users following idris-community
Ali
deadmarshal
I love Perl, Lua, Pascal, Oberon, Modula-2/3, C, Forth, Erlang, Standard ML, Scheme and Assembly
deadmarshal Iran, Karaj
Diego Rosario
GunpowderGuy
Peruvian computer science student with a liking for functional programming
Lima, Peru
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.
@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy
Alexander
nukisman
Idris2, TypeScript, ReactJS, PureScript, Haskell, Elm, NodeJS, HapiJS, AWS
CHENG KUN
ck76
一期一会
Software Engineering is about tradeoffs, there is no one right answer.
NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
