pangyuehung @ pangyuehung @lemmy.ml

Posts

6

Comments

1

Joined

5 yr. ago

Moderating

---

Serious respect for Evan's careful consideration on making Elm sustainable

Contributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platform

I just started working on the Haskell problems on Codewars, it's one of the best places to practice without paying for lessons

Kevin Mahoney: Tests vs Types

Kevin Mahoney: Tests vs Types

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