Index of /~csetzer/slides/agdaimplementorsmeeting/agdaImplementorsMeetingGlasgowStrathclydeApril2016/presentationsAndExampleCode

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