Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
dear idris users: please tell me about how you edit idris code.
i don't need to know everything, but for example my general idris dev workflow basically involves keeping the holes window open and doing this in a loop:
- edit code (which could be emacs commands that edit for me)
- save file
- reload file
what do other people do different?