1. 33
    Compile Idris to Vimscript, like you always wanted formalmethods release vim github.com/owickstrom
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
    1. 5
      dvicente avatar dvicente 7 years ago

      They were so preoccupied with whether or not they could, they didn’t stop to think if they should.

      1. 1
        etc avatar etc 7 years ago

        Hilarious

        1. etc avatar etc 7 years ago

          [Comment removed by moderator pushcx: Double post.]

        🇬🇧 The UK geoblock is lifted, hopefully permanently.