Index of /img/ui.agda

 NameLast modifiedSizeDescription
 Parent Directory   -  
 Screen Shot 2024-01-..>2024-01-03 01:19 1.7M 
 Screen Shot 2024-01-..>2024-01-03 01:19 1.6M 
 Screen Shot 2024-01-..>2024-01-03 01:24 540K 
 Screen Shot 2024-01-..>2024-01-03 01:26 416K