| Replaces the partial HashMap.! with List.elemIndex. (Although the HashMap is more algorithmically efficient, its API changed recently, possibly complicating building, and efficiency is just not going to be an issue here.) | ||
|---|---|---|
| .. | ||
| Web | ||
| Web.hs | ||
| Replaces the partial HashMap.! with List.elemIndex. (Although the HashMap is more algorithmically efficient, its API changed recently, possibly complicating building, and efficiency is just not going to be an issue here.) | ||
|---|---|---|
| .. | ||
| Web | ||
| Web.hs | ||