1. 5
    Try Idris show programming tryidris.org
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment

  1.  

  2. 5
    zhemao avatar zhemao 4 years ago | link

    It would be better if the tutorial were built into the REPL, as it is with other try* sites.