posts tagged ‘idris’

  • undocumented idris2 features (sat 12 november 2022)

    some lesser-known features in the dependently-typed language idris (2).

    •