Open LeifW opened 6 years ago
E.g. http://itu.dk/people/drc/idris-mode.gif As reported in https://gist.github.com/mitchty/66ee48984f6101bcf90e334ac81e2ea1 by mitchty in IRC.
Thanks. They're also hugely out of date, so I should re-do them once I get home from my current trip.
E.g. http://itu.dk/people/drc/idris-mode.gif As reported in https://gist.github.com/mitchty/66ee48984f6101bcf90e334ac81e2ea1 by mitchty in IRC.