prefix-minus-resolution.md

@@ -12,19 +12,10 @@
 <table><tr><th> GHC   </th>
 <th> \[ none \] 
 </th></tr>
-<tr><th> nhc98 </th>
-<th> \[ none \] 
-</th></tr>
 <tr><th> Hugs  </th>
 <th> \[ partial \] 
 </th></tr>
-<tr><th> UHC   </th>
-<th> \[ unknown \] 
-</th></tr>
-<tr><th> JHC   </th>
-<th> \[ none \] 
-</th></tr>
-<tr><th> LHC   </th>
+<tr><th> others  </th>
 <th> \[ unknown \] 
 </th></tr></table>