[debbugs-tracker] bug#37038: closed ([PATCH] Add Cedille.)

[GNU bug Tracking System]

Your message dated Wed, 28 Aug 2019 17:48:25 +0200
with message-id <address@hidden>
and subject line Re: [bug#37038] Amending author email
has caused the debbugs.gnu.org bug report #37038,
regarding [PATCH] Add Cedille.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
37038: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37038
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] Add Cedille. Date: Thu, 15 Aug 2019 16:07:49 +0000

HI all,

I wanted to try out the Cedille language (cedille.github.io) so I packaged it.  It has a nice emacs mode included and an interesting type theory.

Thanks!

- John

0001-gnu-Add-agda-ial.patch
Description: Text Data

0002-gnu-Add-cedille.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#37038] Amending author email
>
>
>
>
> Date: 
>
> Wed, 28 Aug 2019 17:48:25 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux)
>
>
>
>
> Hi,
>
> John Soo <address@hidden> skribis:
>
> > I fixed the lint warnings from before and removed a dependency on git with
> > this patchset (along with the fill-paragraph magic).
>
> Perfect, I applied both after tweaking the commit log of the second
> patch.
>
> Apologies if I introduced a regression in agda-ial when I switched it to
> ‘git-fetch’!
>
> Thanks,
> Ludo’.
>
>
> --- End Message ---