Skip to content
Permalink
Browse files

Merge branch 'master' into fp_basis

  • Loading branch information...
HeikoBecker committed Jul 31, 2019
2 parents b6c87a3 + 8e393be commit fb3c02da41354beec69412dd3925696832737395
Showing with 2 additions and 2 deletions.
  1. +1 −1 basis/IntProgScript.sml
  2. +1 −1 basis/README.md
@@ -1,5 +1,5 @@
(*
Module about the built-in integer tyoe. Note that CakeML uses
Module about the built-in integer type. Note that CakeML uses
arbitrary precision integers (the mathematical intergers).
*)
open preamble
@@ -33,7 +33,7 @@ module correctly produce a string representation from a double,
and vice versa assuming that the FFI is implemented correctly.
[IntProgScript.sml](IntProgScript.sml):
Module about the built-in integer tyoe. Note that CakeML uses
Module about the built-in integer type. Note that CakeML uses
arbitrary precision integers (the mathematical intergers).
[ListProgScript.sml](ListProgScript.sml):

0 comments on commit fb3c02d

Please sign in to comment.
You can’t perform that action at this time.