Re: Agda needs a patch

To: debian-haskell@lists.debian.org
Subject: Re: Agda needs a patch
From: Louis Bettens <louis@bettens.info>
Date: Tue, 15 Oct 2013 12:18:50 +0200
Message-id: <[🔎] 525D168A.70706@bettens.info>
In-reply-to: <[🔎] 525D158A.8030905@bettens.info>
References: <[🔎] 1381827603.3851.9.camel@kirk> <[🔎] 1381828559.3851.16.camel@kirk> <[🔎] 20131015095754.GB1944@iota> <[🔎] 525D158A.8030905@bettens.info>

Also, it seems like dist/build/Agda/Syntax/Parser/{Lexer,Parser}.hs areversion-controlled, although they seem to be generated fromsrc/full/Agda/Syntax/{Lexer.x,Parser.y}. Any reason for that? Introducedby fe6fa12e5cb63847e1d67f8eceaa40a8af806de8.


Louis

--
When I grow up,
I will run a Tor node around the clock,
To help threatened protesters 'round the world.

Reply to:

References:
- Agda needs a patch
  - From: Joachim Breitner <nomeata@debian.org>
- Re: Agda needs a patch
  - From: Joachim Breitner <nomeata@debian.org>
- Re: Agda needs a patch
  - From: Iain Lane <laney@debian.org>
- Re: Agda needs a patch
  - From: Louis Bettens <louis@bettens.info>

Prev by Date: Re: Agda needs a patch
Next by Date: Re: Agda needs a patch
Previous by thread: Re: Agda needs a patch
Next by thread: Re: Agda needs a patch
Index(es):
- Date
- Thread