Keeping Calm in the Face of Change

Towards Optimisation of FRP by Reasoning about Change

NOTE: This code has been superseded by the accompanying code for my thesis.

Accompanying code for the paper Keeping Calm in the Face of Change can be accessed here. You can either download the source files, or browse it as html:

• BouncingBall.agda
• CFRP.agda
• SigVecs.agda
• Utilities.agda
• NaryFRP.agda
• Properties.agda
• Proofs.agda

Last updated 2nd July 2024.