I have good results from having a default prompt that instructs using Idris with...

		cap11235 34 days ago \| parent \| context \| favorite \| on: Flix – A powerful effect-oriented programming lang... 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)