Egg Syntax
Egg Syntax
Conceivably related to https://github.com/syl20bnr/spacemacs/issues/9491 ? That's pure SWAG, though.
@DogLooksGood no problem, thanks for the reply! I don't have parinfer-mode installed anymore, but the example in the original post was the most minimal one I could find. It makes...
I'll add that I'm getting the same error. I'm on spacemacs, so I'm using `idris-mode` via the spacemacs `idris` layer. Whenever I call `idris-load-file` on a file with holes, I...
Cool! Thanks for letting me know.
Strongly seconded -- being unable to follow Clojure section commenting standards is really unfortunate.
Hi, Thanks for your comments and feedback! Glad datawalk has proved useful for you :) Paging is a terrific idea! I'll have to give it some thought -- I've tried...
Thanks to both of you for the input. I'm feeling good about adding this feature, but it's likely to be a good while before I have a chance (just changed...
Alternately, it might be worth adding an additional state atom in `datawalk.datawalk`, containing a map from current data to previous page, and then having a `page-backward` fn which returns that,...
@badge seconded. That's kind of a showstopper for my team. We'd be fine with updating to 3.9 or fine running on 3.8, but we sure can't do both simultaneously.
Caveat: I haven't gone further than getting it to run without crashing, so there may turn out to be further steps necessary to get it fully working.