(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-highlight-add-annotations 'nil '(1 4 (symbol) t) '(5 12 (keyword) t) '(13 25 (pragma) t) '(26 29 (symbol) t) '(31 37 (keyword) t) '(57 62 (keyword) t) '(64 70 (keyword) t) '(79 80 (symbol) t) '(86 91 (keyword) t) '(94 99 (keyword) t) '(112 113 (symbol) t) '(119 123 (keyword) t) '(136 137 (symbol) t) '(157 158 (symbol) t) '(166 220 (comment) t) '(227 228 (symbol) t) '(237 238 (symbol) t) '(251 252 (symbol) t) '(264 318 (comment) t))
(agda2-highlight-add-annotations 'nil '(31 37 (keyword) t) '(38 56 (module) nil nil ("HighlightCopattern.agda" . 1)) '(57 62 (keyword) t) '(71 78 (record) nil nil ("HighlightCopattern.agda" . 71)) '(81 85 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(104 111 (field) nil nil ("HighlightCopattern.agda" . 104)) '(114 118 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(124 131 (module) nil nil ("HighlightCopattern.agda" . 71)) '(133 135 (function) nil nil ("HighlightCopattern.agda" . 133)) '(138 145 (record) nil nil ("HighlightCopattern.agda" . 71)) '(146 153 (field) nil nil ("HighlightCopattern.agda" . 104)) '(154 156 (function) nil nil ("HighlightCopattern.agda" . 133)) '(159 162 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(222 226 (function) nil nil ("HighlightCopattern.agda" . 222)) '(229 236 (record) nil nil ("HighlightCopattern.agda" . 71)) '(239 243 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(244 248 (function) nil nil ("HighlightCopattern.agda" . 222)) '(249 250 (bound) nil nil ("HighlightCopattern.agda" . 249)) '(253 260 (field) nil nil ("HighlightCopattern.agda" . 104)) '(261 262 (bound) nil nil ("HighlightCopattern.agda" . 249)))
(agda2-highlight-add-annotations 'nil '(71 78 (record) nil nil ("HighlightCopattern.agda" . 71)) '(79 80 (symbol) t) '(81 85 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)))
(agda2-highlight-add-annotations 'nil '(64 70 (keyword) t) '(71 78 (record) nil nil ("HighlightCopattern.agda" . 71)) '(86 91 (keyword) t) '(94 99 (keyword) t) '(104 111 (field) nil nil ("HighlightCopattern.agda" . 104)) '(112 113 (symbol) t) '(114 118 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)))
(agda2-highlight-add-annotations 'nil '(119 123 (keyword) t) '(124 131 (module) nil nil ("HighlightCopattern.agda" . 71)))
(agda2-highlight-add-annotations 'nil '(133 135 (function) nil nil ("HighlightCopattern.agda" . 133)) '(138 145 (record) nil nil ("HighlightCopattern.agda" . 71)))
(agda2-highlight-add-annotations 'nil '(133 135 (function) nil nil ("HighlightCopattern.agda" . 133)) '(146 153 (field) nil nil ("HighlightCopattern.agda" . 104)) '(154 156 (function) nil nil ("HighlightCopattern.agda" . 133)) '(157 158 (symbol) t) '(159 162 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)))
(agda2-highlight-add-annotations 'nil '(222 226 (function) nil nil ("HighlightCopattern.agda" . 222)) '(229 236 (record) nil nil ("HighlightCopattern.agda" . 71)) '(239 243 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)))
(agda2-highlight-add-annotations 'nil '(222 226 (function) nil nil ("HighlightCopattern.agda" . 222)) '(244 248 (function) nil nil ("HighlightCopattern.agda" . 222)) '(249 250 (bound) nil nil ("HighlightCopattern.agda" . 249)) '(251 252 (symbol) t) '(253 260 (field) nil nil ("HighlightCopattern.agda" . 104)) '(261 262 (bound) nil nil ("HighlightCopattern.agda" . 249)))
(agda2-highlight-add-annotations 'nil '(31 37 (keyword) t) '(38 56 (module) nil nil ("HighlightCopattern.agda" . 1)) '(57 62 (keyword) t))
(agda2-highlight-add-annotations 'nil '(1 4 (symbol) t) '(5 12 (keyword) t) '(13 25 (pragma) t) '(26 29 (symbol) t) '(136 137 (symbol) t) '(166 220 (comment) t) '(227 228 (symbol) t) '(237 238 (symbol) t) '(264 318 (comment) t))
(agda2-status-action "Checked")
(agda2-info-action "*All Done*" "" nil)
((last . 1) . (agda2-goals-action '()))
