Permalink
Browse files

Commit a few generated README.md files

  • Loading branch information...
myreen committed Dec 27, 2018
1 parent 484bef2 commit bd211e2702a5c6788c4e88b9751017244d766fcb
Showing with 8 additions and 0 deletions.
  1. +4 −0 developers/bin/README.md
  2. +4 −0 unverified/sexpr-bootstrap/x64/64/README.md
@@ -1,2 +1,6 @@
This directory represents a stage in the build sequence where the latest
available cake binary is downloaded to perform testing and bootstrapping.

[basis_ffi.c](basis_ffi.c):
Implements the foreign function interface (FFI) used in the CakeML basis
library, as a thin wrapper around the relevant system calls.
@@ -5,6 +5,10 @@ the 64-bit compiler.
Implements the foreign function interface (FFI) used in the CakeML basis
library, as a thin wrapper around the relevant system calls.

[extract_code.cml](extract_code.cml):
A CakeML program that extracts the indented code snippets from a
markdown file. This is used for checking the code how-to.md file.

[x64SexprScript.sml](x64SexprScript.sml):
Produces an sexp print-out of the bootstrap translated compiler
definition for the 64-bit version of the compiler.

0 comments on commit bd211e2

Please sign in to comment.