| Sat, 08 Oct 2016 14:09:55 +0200 | haftmann | tuned name of bit truncating operations | file | diff | annotate |
| Sat, 08 Oct 2016 14:09:53 +0200 | haftmann | dedicated syntax for types with a length | file | diff | annotate |
| Mon, 03 Oct 2016 14:37:06 +0200 | haftmann | proof of concept for algebraically founded word types | file | diff | annotate |