add examples

Author: guillaumebrunerie

examples.agda

@@ -0,0 +1,15 @@
+-- The following file contains various examples of highlighting.
+-- It does not necessarily typecheck (but it should parse)
+
+a : A → Set
+a b : A → Set
+postulate a : A → Set
+abstract a b : A → Set
+abstracta : A → Set
+postulate abstract a : A → Set
+private
+  a b : A → Set
+  abstract a : A → Set
+pattern-a : A → Set
+abstractSet : Set
+x-rewrite : abstractSet