programmer; i like idris, but also F#, reasonml, haskell and others.
- https://superheterodyne.net/