![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Kt1_pre.idr | 2021-10-18 01:27 | 1.7K | |
| Kt1_presol.idr | 2022-10-21 09:57 | 2.2K | |
| Loeng14.hs | 2021-12-08 14:22 | 2.4K | |
| Set.idr | 2021-10-10 10:57 | 1.7K | |
| State.idr | 2021-08-12 13:05 | 827 | |
| StateT.idr | 2021-10-13 14:17 | 1.0K | |
| fp_loeng1.pdf | 2021-09-01 15:19 | 1.8M | |
| loeng1.idr | 2021-09-02 15:12 | 1.2K | |
| loeng1.pdf | 2021-09-02 15:14 | 1.7M | |
| loeng2.idr | 2021-09-08 14:11 | 11K | |
| loeng2.pdf | 2021-09-08 14:15 | 2.3M | |
| loeng3.idr | 2021-09-15 14:44 | 1.5K | |
| loeng3.pdf | 2021-09-15 14:46 | 1.5M | |
| loeng4.idr | 2021-09-23 11:05 | 2.4K | |
| loeng4.pdf | 2021-11-29 14:32 | 3.5M | |
| loeng5.idr | 2021-09-29 14:15 | 1.1K | |
| loeng5.pdf | 2021-09-29 14:23 | 2.2M | |
| loeng6.idr | 2021-10-06 17:16 | 1.8K | |
| loeng6.pdf | 2021-10-06 17:15 | 1.8M | |
| loeng7.idr | 2021-10-13 14:17 | 1.0K | |
| loeng7.pdf | 2021-10-13 14:16 | 935K | |
| loeng8.idr | 2021-10-20 14:17 | 7.9K | |
| loeng8.pdf | 2021-10-20 14:09 | 306K | |
| loeng9.idr | 2021-10-27 12:07 | 292 | |
| loeng9.pdf | 2021-10-27 13:38 | 167K | |
| loeng10.idr | 2021-11-03 14:14 | 2.7K | |
| loeng10.pdf | 2021-11-03 14:15 | 224K | |
| loeng11.idr | 2021-11-10 14:56 | 1.9K | |
| loeng11.pdf | 2021-11-10 14:58 | 224K | |
| loeng12.idr | 2021-11-17 14:30 | 8.5K | |
| loeng13.pdf | 2021-11-26 13:32 | 225K | |
| loeng14.pdf | 2021-12-08 14:31 | 87K | |
| loeng15.idr | 2021-12-16 12:45 | 4.8K | |