Serokell Blog company blog
Dependent Haskell
Are dependent types the future of software development? Read more about our work on Dependent Haskell in this blog post.
- Points
- 137
- HN comments
- 88
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 17, 2018 | Dependent Haskell by Serokell | 137 | 88 |
