Projects with tag
idris

  • Idris sorted list

    github
    writing

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

    idris
    dependent-type

  • Ethical CS 1331

    github

    All my Georgia Tech CS 1331 homeworks and programming exercises rewritten in the functional language Haskell and functional depedently-typed language Idris.

    haskell
    idris