
10 Apr
2017
10 Apr
'17
9:36 a.m.
I've been way too busy with GHC and containers to have time to devote to boxes. If anyone wants to take over, they are welcome. The main priority right now is improving documentation, but someone also needs to make sure it works with 8.2 as soon as its dependencies do.
2962
Age (days ago)
2962
Last active (days ago)
0 comments
1 participants
participants (1)
-
David Feuer