Comment by cap11235

2 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)

0 comments