Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)PA
pangyuehung @ pangyuehung @lemmy.ml
Posts
6
Comments
1
Joined
5 yr. ago

Helix - A modal text editor

Jump

  • There's also Lapce which will hopefully implement Helix's editing model too: https://github.com/lapce/lapce/issues/281

    • Elm @lemmy.ml
    pangyuehung @lemmy.ml

    Serious respect for Evan's careful consideration on making Elm sustainable
    discourse.elm-lang.org /t/costs-funding-in-open-source-languages/5722
    Idris @lemmy.ml
    pangyuehung @lemmy.ml

    Contributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platform
    github.com /exercism/idris
    The Haskell Lemmy Forum @lemmy.ml
    pangyuehung @lemmy.ml

    I just started working on the Haskell problems on Codewars, it's one of the best places to practice without paying for lessons
    www.codewars.com
    Functional Programming @lemmy.ml
    pangyuehung @lemmy.ml

    Kevin Mahoney: Tests vs Types
    kevinmahoney.co.uk /articles/tests-vs-types/
    Idris @lemmy.ml
    pangyuehung @lemmy.ml

    Kevin Mahoney: Tests vs Types
    kevinmahoney.co.uk /articles/tests-vs-types/
    Idris @lemmy.ml
    pangyuehung @lemmy.ml

    Edwin Brady introducing Idris 2: Type-driven development of Idris