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