Permalink
Browse files

Missed some commas

  • Loading branch information...
xrchz committed Dec 30, 2018
1 parent 090cfd5 commit 8beb6313171f5ed7d3eefa7d3f7764968139e4fa
Showing with 6 additions and 6 deletions.
  1. +2 −2 README.md
  2. +1 −1 compiler/README.md
  3. +1 −1 compiler/readmePrefix
  4. +1 −1 semantics/README.md
  5. +1 −1 semantics/readmePrefix
@@ -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):
@@ -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):
@@ -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.
@@ -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):
@@ -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.

0 comments on commit 8beb631

Please sign in to comment.