pages tagged ‘idris’

  • undocumented idris2 features (sat 12 nov 2022)

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

    •