Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | slightly more specialized name for type class | file | diff | annotate |
Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | dropped weaker legacy alias | file | diff | annotate |
Wed, 21 Mar 2018 20:17:25 +0100 | haftmann | proof of concept for algebraically founded bit lists | file | diff | annotate |