summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-05 23:17:34 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-05 23:17:34 +0100
commit7c47d2b8f99be4a53f50e46015c15301ffa16ae1 (patch)
tree80535ee8c3f9d545f4052e088f10bbbae33adc6b
parente0648ba3161016c8abad5cd80f03eef189cc4078 (diff)
Rename org posts
-rw-r--r--.gitignore6
-rw-r--r--site/posts/DiscoveringCommonLisp.org (renamed from site/posts/lisp-journey-getting-started.org)0
-rw-r--r--site/posts/ExtensibleTypeSafeErrorHandling.org (renamed from site/posts/extensible-type-safe-error-handling.org)0
-rw-r--r--site/posts/MonadTransformers.org (renamed from site/posts/monad-transformers.org)0
4 files changed, 3 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore
index 56d73a5..6c3c797 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,9 +8,9 @@ build/
*.html~
# begin generated files
-site/posts/monad-transformers.html
-site/posts/lisp-journey-getting-started.html
-site/posts/extensible-type-safe-error-handling.html
+site/posts/ExtensibleTypeSafeErrorHandling.html
+site/posts/MonadTransformers.html
+site/posts/DiscoveringCommonLisp.html
site/posts/Ltac101.html
site/posts/RewritingInCoq.html
site/posts/StronglySpecifiedFunctionsProgram.html
diff --git a/site/posts/lisp-journey-getting-started.org b/site/posts/DiscoveringCommonLisp.org
index a198c3d..a198c3d 100644
--- a/site/posts/lisp-journey-getting-started.org
+++ b/site/posts/DiscoveringCommonLisp.org
diff --git a/site/posts/extensible-type-safe-error-handling.org b/site/posts/ExtensibleTypeSafeErrorHandling.org
index 9164bc2..9164bc2 100644
--- a/site/posts/extensible-type-safe-error-handling.org
+++ b/site/posts/ExtensibleTypeSafeErrorHandling.org
diff --git a/site/posts/monad-transformers.org b/site/posts/MonadTransformers.org
index e94f07d..e94f07d 100644
--- a/site/posts/monad-transformers.org
+++ b/site/posts/MonadTransformers.org