On Thu, Aug 15, 2013 at 5:39 AM, Jason Dagit <dagitj at gmail.com> wrote: > Also, if anyone wants to look at prior art first, Idris supports applicative > brackets. As does she [0]. Erik [0] https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/idiom.html