Skip to content
Change the issues type filter

Issues

    Issues

    • Parse SProj

      joshvera/Idris-dev#6 · opened on Feb 24, 2014

    • Parse SForeign

      joshvera/Idris-dev#5 · opened on Feb 24, 2014

    • Parse SOp

      joshvera/Idris-dev#4 · opened on Feb 24, 2014

    • Parse SChkCase

      joshvera/Idris-dev#3 · opened on Feb 24, 2014

    • Parse SCase

      joshvera/Idris-dev#2 · opened on Feb 24, 2014

    • Setup CI

      joshvera/Idris-dev#1 · opened on Feb 24, 2014