0
idris-lang.org  ·  #idris  ·  #idris.wildptr  ·  #functional