Computer Science, Swansea
Icon  Name                                 Last modified      Size  Description
[DIR] StateSized/ 27-Apr-2016 20:52 - [DIR] html/ 27-Apr-2016 20:53 - [   ] NativeIOSafe.agda 25-Apr-2016 10:35 1.0K [TXT] README.txt 25-Apr-2016 11:05 155 [   ] drawingProgram.agda 25-Apr-2016 10:35 4.4K [   ] interactiveProgramsAgda.agda 25-Apr-2016 10:35 2.3K [   ] interactiveProgramsAgda.old.agda 25-Apr-2016 10:35 2.6K [   ] interactiveProgramsAgdaUnsized.agda 25-Apr-2016 10:35 2.4K [   ] interfaceExtensionAndDelegation.agda 25-Apr-2016 10:35 2.3K [   ] main.agda 25-Apr-2016 10:35 595 [   ] objectOrientedGui.agda 25-Apr-2016 10:35 4.8K [   ] objectsInAgda.agda 25-Apr-2016 10:35 1.9K [   ] objectsInAgdaUnsized.agda 25-Apr-2016 10:35 1.8K [IMG] ship.ico 25-Apr-2016 10:35 3.7K [   ] spaceShipAdvanced.agda 25-Apr-2016 10:35 2.7K [   ] spaceShipCell.agda 25-Apr-2016 10:35 2.0K [   ] spaceShipSimpleVar.agda 25-Apr-2016 10:35 1.6K [   ] stateDependentIO.agda 25-Apr-2016 10:35 2.4K [   ] stateDependentObjects.agda 25-Apr-2016 10:35 4.8K [   ] talkGlasgow.agda-lib 25-Apr-2016 11:00 68