Chris Ford

That sounds like a sensible approach. On our project, we have ended up using [Traversy's](https://github.com/ctford/traversy) `all-values` lens instead.

Cool. Thanks!

I have the same problem. To work around it, try `:set filetype=idris` when you're editing a .lidr file. It looks like idris-vim isn't recognising the filetype.

That sets filetype to "lidris" not "idris". Seems that the repl depends on "idris".

When I try `:set filetype=idris` I can evaluate the buffer once, but when I do it a second time I get the following error popping up in the REPL: Idris>...

Convert this to a shell application that can be configured with text/examples, so that library authors can use it to generate their own documentation. It rocks.

@jellea Yeah, I think DevCards is pretty cool. It could be interesting to combine the two.

Hi @ben-denham, Sorry for the delayed response. I've been away from Github over the new year. Thanks for using CLJS Bach. When you say you want the value to be...

This also has the potential to fix an annoying hack - if you look at the [definition of `constant`](https://github.com/ctford/cljs-bach/blob/7af642e49050969d4f6f02c68d92763a71c2130d/src/cljs_bach/synthesis.cljs#L174), you'll see that I had to fake ConstantSourceNodes before they existed...

This is a great pull request - you've well understood the original design, you have explained your intent very clearly and you're solving a real problem. One thought I had...