Projects with tag

dependent-type

• Idris sorted list

  github

  writing

  Formal verification of insertion sort using the dependently-typed language Idris.

  idris

  dependent-type