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