Idris 2 Community (Unofficial)
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).
@vnu-frsl @vnu-sme @SEhumantics Ichvers, Esteh, Enurbahnhof, Azeroy
Alexander
nukisman
Idris2, TypeScript, ReactJS, PureScript, Haskell, Elm, NodeJS, HapiJS, AWS
Matthew Mosior
Matthew-Mosior
Graduate of Bioinformatics and Computational Biology Program at SLU. I enjoy elucidating and applying algorithms and any thought provoking programming.
Austin, TX
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
Tim Kersey
tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich
@thisisartium Los Angeles, CA
