--- === Agda Tactics Programming === ------Ulf Norell --- wg2.8 Kefalonia, May 27, 2015 module Slides where open import Prelude open import Tactic.Nat - Ulf - Document - PDFSEARCH.IO

First Page	Meta Content
	--- === Agda Tactics Programming === ------Ulf Norell --- wg2.8 Kefalonia, May 27, 2015 module Slides where open import Prelude open import Tactic.Nat Add to Reading List Document Date: 2015-07-21 03:25:57 Open Document File Size: 238,92 KB Share Result on Facebook

--- === Agda Tactics Programming === ------Ulf Norell --- wg2.8 Kefalonia, May 27, 2015 module Slides where open import Prelude open import Tactic.NatAdd to Reading List