![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ghci.bat | 2018-01-30 14:04 | 17 | |
| CreateNewProject.bat | 2018-01-30 17:46 | 125 | |
| CreateNewProjectFromFile.bat | 2020-03-09 14:28 | 253 | |
| participation_week_10.hs | 2020-04-13 16:07 | 507 | |
| emacs | 2021-01-25 14:57 | 340 | |
| participation_week_3.scm | 2021-02-15 11:03 | 449 | |
| participation_week_5.scm | 2021-03-01 14:15 | 744 | |
| participation_week_5-TA.scm | 2021-03-01 16:11 | 2.8K | |
| participation_week_6-TA.lhs | 2021-03-08 16:06 | 1.4K | |
| participation_week_7.scm | 2021-03-22 14:36 | 789 | |
| participation_week_7-TA.scm | 2021-03-22 16:00 | 1.8K | |
| participation_week_9.hs | 2021-04-05 14:44 | 1.3K | |
| participation_week_9-TA.hs | 2021-05-05 02:06 | 1.6K | |