Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
deterministic
on Oct 30, 2022
|
parent
|
context
|
favorite
| on:
Idris 2 version 0.6.0 Released
I highly recommend learning Idris if you want to understand the power of Dependent Types. The book “Type Driven Development” is an excellent guide.
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
