Bug Tracker Home
Issues Show Unassigned Show All Search Issues
Patches Show Open Show All Search Patches
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2020-01-30.17:21:14 by bfrk, last changed 2020-02-15.22:14:25 by ganesh.
1 patch for repository http://darcs.net/screened: patch ad2028d7ee93db14c961a09e048305940cdf3dd2 Author: Ben Franksen <ben.franksen@online.de> Date: Tue Jan 28 10:00:15 CET 2020 * remove redundant forall in type signature
Fine