[Bug 710383] Review Request: Agda - Commandline for dependently typed functional language - haskell-devel - Fedora mailing-lists

14 Jun 2012


      https://bugzilla.redhat.com/show_bug.cgi?id=710383
Jens Petersen petersen@redhat.com changed:
What    |Removed                     |Added
----------------------------------------------------------------------------
         Whiteboard|                            |NotReady
-- 
You are receiving this mail because:
You are on the CC list for the bug.