christianharrington

<?xml version="1.0"?>
<root>
	<item>
		<name>F19 to F19</name>
		<appendix>(F19 to Hyper (ctrl+shift+cmd+opt) + F19 Only, send escape)</appendix>
		<identifier>private.f192f19_escape</identifier>
		<autogen>
			--KeyOverlaidModifier--
			KeyCode::F19,
			KeyCode::COMMAND_L,

christianharrington

Keybase proof

I hereby claim:

• I am christianharrington on github.
• I am harrington (https://keybase.io/harrington) on keybase.
• I have a public key whose fingerprint is 1B58 2C37 23F5 0B4B 3C89 82F0 5C8C AD36 DC01 56EB

To claim this, I am signing this object:

christianharrington

-- SPLG Exam 2013: Christian Harrington <cnha@itu.dk>
-- 20. December 2013

module Exam where
  open import Prelude
  -- http://www.itu.dk/courses/SPLG/E2013/Prelude.agda
  open import Lecture3Delivery 
  -- http://www.itu.dk/courses/SPLG/E2013/Lecture3Delivery.agda

  open Nats