Comment by cap11235
3 days ago
I have good results from having a default prompt that instructs using Idris with indexed/dependent types ,(without that the bravest it gets is GADTs)
3 days ago
I have good results from having a default prompt that instructs using Idris with indexed/dependent types ,(without that the bravest it gets is GADTs)
No comments yet
Contribute on Hacker News ↗