minus-squarepangyuehung@lemmy.mltoLinux@lemmy.ml•Helix - A modal text editorlinkfedilinkEnglisharrow-up1·1 year agoThere’s also Lapce which will hopefully implement Helix’s editing model too: https://github.com/lapce/lapce/issues/281 linkfedilink
pangyuehung@lemmy.ml to Elm@lemmy.ml · 4 years agoSerious respect for Evan's careful consideration on making Elm sustainableplus-squarediscourse.elm-lang.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSerious respect for Evan's careful consideration on making Elm sustainableplus-squarediscourse.elm-lang.orgpangyuehung@lemmy.ml to Elm@lemmy.ml · 4 years agomessage-square0fedilink
pangyuehung@lemmy.mlM to Idris@lemmy.ml · 4 years agoContributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platformplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkContributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platformplus-squaregithub.compangyuehung@lemmy.mlM to Idris@lemmy.ml · 4 years agomessage-square0fedilink
pangyuehung@lemmy.ml to The Haskell Lemmy Forum@lemmy.ml · 4 years agoI just started working on the Haskell problems on Codewars, it's one of the best places to practice without paying for lessonsplus-squarewww.codewars.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkI just started working on the Haskell problems on Codewars, it's one of the best places to practice without paying for lessonsplus-squarewww.codewars.compangyuehung@lemmy.ml to The Haskell Lemmy Forum@lemmy.ml · 4 years agomessage-square0fedilink
pangyuehung@lemmy.mlM to Functional Programming@lemmy.ml · 4 years agoKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukpangyuehung@lemmy.mlM to Functional Programming@lemmy.ml · 4 years agomessage-square0fedilink
pangyuehung@lemmy.mlM to Idris@lemmy.ml · 4 years agoKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkKevin Mahoney: Tests vs Typesplus-squarekevinmahoney.co.ukpangyuehung@lemmy.mlM to Idris@lemmy.ml · 4 years agomessage-square0fedilink
pangyuehung@lemmy.mlM to Idris@lemmy.ml · 4 years agoEdwin Brady introducing Idris 2: Type-driven development of Idrisplus-squareyoutu.beexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkEdwin Brady introducing Idris 2: Type-driven development of Idrisplus-squareyoutu.bepangyuehung@lemmy.mlM to Idris@lemmy.ml · 4 years agomessage-square0fedilink
There’s also Lapce which will hopefully implement Helix’s editing model too: https://github.com/lapce/lapce/issues/281