![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| testfile-instance-1.purs | 2023-12-07 20:53 | 250 | |
| testfile-instance-2.purs | 2023-12-07 20:53 | 216 | |
| testfile-instance-3.purs | 2023-12-07 20:53 | 218 | |
| testfile-instance-4.purs | 2023-12-07 20:53 | 271 | |
| testfile-main-1.purs | 2023-12-07 20:53 | 103 | |
| testfile-pattern-1.purs | 2023-12-07 20:53 | 137 | |
| testfile-poly-1.purs | 2023-12-07 20:53 | 140 | |
| testfile-poly-2.purs | 2023-12-07 20:53 | 160 | |