Missed some commas

larsrh · Dec 30, 2018 · 8beb631 · 8beb631
1 parent 090cfd5
commit 8beb631
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/README.md b/README.md
@@ -45,7 +45,7 @@ Formulae for the Verification of Imperative Programs"
 A verified compiler for CakeML, including:
  - lexing and PEG parsing,
  - type inference,
- - compilation to ASM assembly language, and
+ - compilation to ASM assembly language, and,
  - code generation to x86, ARM, and more.
 
 [developers](developers):
@@ -75,7 +75,7 @@ generated HOL is also included. The directory includes definitions of:
  - the abstract syntax,
  - big step semantics (both functional and relational),
  - a small step semantics,
- - the semantics of FFI calls, and
+ - the semantics of FFI calls, and,
  - the type system.
 
 [translator](translator):

diff --git a/compiler/README.md b/compiler/README.md
@@ -1,7 +1,7 @@
 A verified compiler for CakeML, including:
  - lexing and PEG parsing,
  - type inference,
- - compilation to ASM assembly language, and
+ - compilation to ASM assembly language, and,
  - code generation to x86, ARM, and more.
 
 [backend](backend):

diff --git a/compiler/readmePrefix b/compiler/readmePrefix
@@ -1,5 +1,5 @@
 A verified compiler for CakeML, including:
  - lexing and PEG parsing,
  - type inference,
- - compilation to ASM assembly language, and
+ - compilation to ASM assembly language, and,
  - code generation to x86, ARM, and more.
diff --git a/semantics/README.md b/semantics/README.md
@@ -5,7 +5,7 @@ generated HOL is also included. The directory includes definitions of:
  - the abstract syntax,
  - big step semantics (both functional and relational),
  - a small step semantics,
- - the semantics of FFI calls, and
+ - the semantics of FFI calls, and,
  - the type system.
 
 [addancs.sml](addancs.sml):

diff --git a/semantics/readmePrefix b/semantics/readmePrefix
@@ -5,5 +5,5 @@ generated HOL is also included. The directory includes definitions of:
  - the abstract syntax,
  - big step semantics (both functional and relational),
  - a small step semantics,
- - the semantics of FFI calls, and
+ - the semantics of FFI calls, and,
  - the type system.