Anonymize artifact

Author: Twisol

Execution/Causality.lagda.md

@@ -1,9 +1,3 @@
----
-title: Causal order
-author: Jonathan Castello
-date: 2023-02-04
-css: ['/styles/styles.css']
----
 <!--
 ```agda
 {-# OPTIONS --safe --without-K --exact-split --no-import-sorts #-}

Execution/Causality/Properties.lagda.md

@@ -1,9 +1,3 @@
----
-title: Properties of causal paths
-author: Jonathan Castello
-date: 2023-02-23
-css: ['/styles/styles.css']
----
 <!--
 ```agda
 {-# OPTIONS --safe --without-K --exact-split --no-import-sorts #-}

Execution/Core.lagda.md

@@ -1,9 +1,3 @@
----
-title: Execution diagrams
-author: Jonathan Castello
-date: 2022-10-18
-css: ['/styles/styles.css']
----
 <!--
 ```agda
 {-# OPTIONS --safe --without-K --exact-split --no-import-sorts #-}

Execution/Sites.lagda.md

@@ -1,9 +1,3 @@
----
-title: Distributed sites
-author: Jonathan Castello
-date: 2023-01-28
-css: ['/styles/styles.css']
----
 <!--
 ```agda
 {-# OPTIONS --safe --without-K --exact-split --no-import-sorts #-}