1. 33
    Compile Idris to Vimscript, like you always wanted formalmethods release vim github.com
    pushcx avatar via pushcx 9 months ago | cached | 2 comments

  1.  

  2. 5
    DiegoVicente avatar DiegoVicente 9 months ago | link

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

    1. 1
      etc avatar etc 9 months ago | link

      Hilarious