| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 09-Sep-2001 | - | ||||
| Definitions/ | H | 09-Sep-2001 | - | 930 | 655 | |
| Operators/ | H | 09-Sep-2001 | - | 456 | 311 | |
| Attribute.hs | H A D | 09-Sep-2001 | 6.9 KiB | 217 | 128 | |
| Definitions.hs | H A D | 09-Sep-2001 | 67.5 KiB | 1,432 | 983 | |
| Fixity.hs | H A D | 09-Sep-2001 | 10.1 KiB | 249 | 177 | |
| Generic.hs | H A D | 09-Sep-2001 | 10 KiB | 267 | 201 | |
| Glyph.hs | H A D | 09-Sep-2001 | 3.4 KiB | 117 | 79 | |
| Name.hs | H A D | 09-Sep-2001 | 17.1 KiB | 539 | 300 | |
| Operators.hs | H A D | 09-Sep-2001 | 33.5 KiB | 894 | 603 | |
| Pattern.hs | H A D | 09-Sep-2001 | 13.1 KiB | 385 | 255 | |
| Pretty.hs | H A D | 09-Sep-2001 | 26.9 KiB | 760 | 636 |