1 (***********************************************************************************************************************************
3 * This is the Coq development accompanying
5 * __Multi-Level Programs are Generalized Arrows__
7 * Best viewed on a 132-character-wide display (use the first line of this file to size your window)
9 * This file makes extensive use of Unicode (UTF-8); please make sure your text editor supports it.
11 * Here is the version of Coq I used:
13 * megacz@skolem:~$ coqc -v
14 * The Coq Proof Assistant, version 8.3pl1 (March 2011)
15 * compiled on Mar 17 2011 21:07:25 with OCaml 3.11.2
17 * Warning: this script may take a half-hour or more to typecheck, even on a very fast machine.
18 * It also needs about 1.5GB of ram; if you have less than that it will run unbearably slowly.
20 * I recommend checking it using the following command:
22 * coqc -noglob -dont-load-proofs GArrows.v
24 **********************************************************************************************************************************)
26 Require Import Coq.Unicode.Utf8.
27 Require Import Coq.Classes.RelationClasses.
28 Require Import Coq.Classes.Morphisms.
29 Require Import Coq.Setoids.Setoid.
31 Require Import Coq.Strings.String.
32 Require Import Coq.Lists.List.