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