flowing.systems personal blog
A game in a pure language (part 1): introduction and problems with Idris
- Points
- 144
- HN comments
- 58
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 19, 2020 | A game in a pure language (part 1): introduction and problems with Idris by panic | 144 | 58 |
