0Serious respect for Evan's careful consideration on making Elm sustainable discourse.elm-lang.orgc/elm · by pangyuehung@lemmy.ml · 5y · 0 comments
1Contributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platform github.comc/idris · by pangyuehung@lemmy.ml · 5y · 0 comments
2I just started working on the Haskell problems on Codewars, it's one of the best places to practice without paying for lessons codewars.comc/haskell · by pangyuehung@lemmy.ml · 5y · 0 comments
0Kevin Mahoney: Tests vs Types kevinmahoney.co.ukc/functionalprog · by pangyuehung@lemmy.ml · 6y · 0 comments
1Edwin Brady introducing Idris 2: Type-driven development of Idris youtu.bec/idris · by pangyuehung@lemmy.ml · 6y · 0 comments
on Helix - A modal text editor · c/linux · 0 pts · 3yThere's also Lapce which will hopefully implement Helix's editing model too: https://github.com/lapce/lapce/issues/281
There's also Lapce which will hopefully implement Helix's editing model too: https://github.com/lapce/lapce/issues/281