| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 09-Sep-2001 | - | ||||
| AbstractToConcrete.hs | H A D | 09-Sep-2001 | 71.7 KiB | 1,786 | 1,297 | |
| ConcreteToAbstract.hs | H A D | 09-Sep-2001 | 130.5 KiB | 3,067 | 2,169 | |
| InternalToAbstract.hs | H A D | 09-Sep-2001 | 61 KiB | 1,472 | 1,035 | |
| ReflectedToAbstract.hs | H A D | 09-Sep-2001 | 10.9 KiB | 299 | 244 |