Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
joelthelion
on Oct 27, 2014
|
parent
|
context
|
favorite
| on:
Idris 0.9.15 released – partial evaluation and uni...
If anyone wants to try Idris out, there is an Idris starter package for the very neat Vindinium AI challenge:
http://vindinium.org/starters
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
