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

First Page		Document Content
Date: 2015-07-21 03:25:57		--- === 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 Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 238,92 KB Share Document on Facebook