Permitting trailing commas for record syntax ADT declarations

[Andreas Abel]

+1 to leading and trailing separators.

On 22.09.2014 16:01, Johan Tibell wrote:
> On Mon, Sep 22, 2014 at 3:57 PM, Herbert Valerio Riedel
>
>     https://github.com/tibbe/haskell-style-guide/blob/master/haskell-style.md

Nice, style guide.  I'll probably fork it for the Agda project...

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/