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