wildptr  ·  3917 days ago
idris-lang.org  ·  #idris  ·  #idris.wildptr  ·  #functional