Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
agentgt
on Aug 28, 2017
|
parent
|
context
|
favorite
| on:
What makes a good REPL?
I have been meaning to look at Idris for so long! Thanks for the inspiration to move that higher up the queue :)
abhirag
on Aug 28, 2017
[–]
Definitely start with the book I mentioned, it is by Edwin Brady, he leads the development of Idris. I am reading it right now and it is an enjoyable read :)
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
