diff options
| author | davve <davve@dtek.chalmers.se> | 2007-02-03 21:23:56 +0000 |
|---|---|---|
| committer | davve <davve@dtek.chalmers.se> | 2007-02-03 21:23:56 +0000 |
| commit | 4dd150fe66a1c6d56569793af6d1d4c1a58daf68 (patch) | |
| tree | b22491aec88cae32e20e69a73fa8f93485a032a0 /html/minus.gif | |
| parent | 288ed096e584def7a2a30767e4b6d76177f2f75c (diff) | |
Let restrictCons handle infix constructors
Diffstat (limited to 'html/minus.gif')
0 files changed, 0 insertions, 0 deletions