Permalink
Browse files

Update readme after alist_tree move

  • Loading branch information...
xrchz committed Feb 5, 2019
1 parent 196c05b commit 62bcf9886e1df03c1e6e164a16d5168d87f895ed
Showing with 0 additions and 9 deletions.
  1. +0 −9 misc/README.md
@@ -1,15 +1,6 @@
Auxiliary files providing glue between a standard HOL installation
and what we want to use for CakeML development.

[alist_treeLib.sml](alist_treeLib.sml):
Code to recall that some partial functions (of type 'a -> 'b option)
can be represented as sorted alists, and derive a fast conversion on
applications of those functions.

[alist_treeScript.sml](alist_treeScript.sml):
Definitions and theorems that support automation (the Lib file) for
fast insertion and lookup into association lists (alists).

[basicComputeLib.sml](basicComputeLib.sml):
Build a basic compset for evaluation in the logic.

0 comments on commit 62bcf98

Please sign in to comment.