thodg/slides

Diff from ccd5ed5c7c09ef9165ade91357b838a6340ae843 to master


diff --git a/README.md b/README.md
index 3f76c39..0d337c0 100644
--- a/README.md
+++ b/README.md
@@ -11,17 +11,17 @@ with
 
 ### Pandoc
 A few examples of Pandoc usage to generate Beamer presentations from Markdown syntax.
-[Markdown](https://github.com/thodg/slides/blob/master/pandoc/index.md)
-[PDF](https://github.com/thodg/slides/blob/master/pandoc.pdf)
+[Markdown](https://git.kmx.io/thodg/slides/_tree/master/pandoc/index.md)
+[PDF](https://git.kmx.io/thodg/slides/_blob/master/pandoc.pdf)
 
 ## 2019
 
 ### BSD
 About *BSD and UNIX history.
-[Markdown](https://github.com/thodg/slides/blob/master/bsd/index.md)
-[PDF](https://github.com/thodg/slides/blob/master/bsd.pdf)
+[Markdown](https://git.kmx.io/thodg/slides/_tree/master/bsd/index.md)
+[PDF](https://git.kmx.io/thodg/slides/_blob/master/bsd.pdf)
 
 ### RailsOnLisp
 An introduction to Common Lisp and RailsOnLisp.
-[Markdown](https://github.com/thodg/slides/blob/master/railsonlisp/index.md)
-[PDF](https://github.com/thodg/slides/blob/master/railsonlisp.pdf)
+[Markdown](https://git.kmx.io/thodg/slides/_tree/master/railsonlisp/index.md)
+[PDF](https://git.kmx.io/thodg/slides/_blob/master/railsonlisp.pdf)
diff --git a/bsd/index.md b/bsd/index.md
index 133e6d3..cb7c103 100644
--- a/bsd/index.md
+++ b/bsd/index.md
@@ -12,42 +12,42 @@ https://kmx.io/
 
 ### Diagram
 
-![UNIX](unix-history.png)
+![UNIX](https://git.kmx.io/thodg/slides/_blob/master/bsd/unix-history.png)
 
 ### Multics
 
-1960  
+1960
 
 Companies
 
   - MIT
-  
+
   - AT\&T Bell labs
-  
+
   - General Electric
 
 ### UNIX
 
-AT\&T Bell Labs 1970  
+AT\&T Bell Labs 1970
 
 Developers
 
   - Ken Thompson
-  
+
   - Dennis Ritchie
 
 ### Berkeley Unix
 
-1974  
+1974
 
 Licensed by AT\&T
 
 ### Berkeley Software Distribution
 
-1979  
+1979
 
   - `vi`
-  
+
   - `csh`
 
 Licensed by AT\&T
@@ -56,7 +56,7 @@ Licensed by AT\&T
 
     Copyright (c) <year> <copyright holder>.
     All rights reserved.
-    
+
     Redistribution and use in source and binary forms are permitted
     provided that the above copyright notice and this paragraph are
     duplicated in all such forms and that any documentation,
@@ -71,12 +71,12 @@ Licensed by AT\&T
 
 ### Net/1
 
-June 1989  
+June 1989
 
 Basis for
 
   - NetBSD
-  
+
   - FreeBSD
 
 Under BSD License
diff --git a/modal-logic/index.md b/modal-logic/index.md
index df25f1f..ecabc5a 100644
--- a/modal-logic/index.md
+++ b/modal-logic/index.md
@@ -2,45 +2,30 @@
 
 ## 1. Notation
 
-### 1.1 Not
+### 1.1 ¬A
 "Not A"
 
-¬A
-
-### 1.2 Necessarilly
+### 1.2 □A
 "It is necessary that A"
 
-□A
-
-### 1.3 Possibly
+### 1.3 ◊A
 "It is possible that A"
 
-◊A
-
-### 1.4 Implies
+### 1.4 A → B
 "If A then B"
 
-A → B
-
-### 1.5 Conjunction
+### 1.5 A ∧ B
 "A and B"
 
-A ∧ B
-
-### 1.6 Disjunction
+### 1.6 A ∨ B
 "A or B"
 
-A ∨ B
-
-### 1.7 Exclusive disjunction
+### 1.7 A ⊕ B
 "A xor B"
 
-A ⊕ B
-
-### 1.8 Mutual implication
+### 1.8 A ↔ B
 "If A then B and if B then A"
 
-A ↔ B
 
 ## 2. Contruction
 K is a weak logic (Saul Kripke)