[Bug 710031] Review Request: ghc-Agda - Dependently typed functional programming language

bugzilla at redhat.com bugzilla at redhat.com
Wed May 30 11:53:20 UTC 2012

Previous message: [Bug 664151] Review Request: ghc-Diff - A O(ND) diff algorithm in Haskell
Next message: [Bug 815583] Review Request: ghc-edit-distance - Levenshtein and restricted Damerau-Levenshtein edit distances
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://bugzilla.redhat.com/show_bug.cgi?id=710031

--- Comment #11 from Jon Ciesla <limburgher at gmail.com> ---
Git done (by process-git-requests).

-- 
You are receiving this mail because:
You are on the CC list for the bug.

Previous message: [Bug 664151] Review Request: ghc-Diff - A O(ND) diff algorithm in Haskell
Next message: [Bug 815583] Review Request: ghc-edit-distance - Levenshtein and restricted Damerau-Levenshtein edit distances
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the haskell-devel mailing list