![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | LogicGaps.agda | 2025-04-03 12:04 | 1.2K | |
![]() | NumbersGaps.agda | 2025-04-03 12:04 | 2.2K | |
![]() | VectorsGaps.agda | 2025-04-03 12:04 | 2.3K | |
![]() | bobkonf-2017-tutorial.pdf | 2025-04-03 12:04 | 5.7M | |
![]() | cheat-sheet.txt | 2025-04-03 12:04 | 1.5K | |