Closed CousinoMath closed 2 years ago
CMakeLists.txt
util/Parser.sml
util_src
CakeMLHelper.cmake
.cake
am/CommTypes.sml
am/ServerAm.sml
apps/blockchain/AddUser.sml
apps/blockchain/Blockchain.sml
Either
apps/blockchain/CA.sml
apps/blockchain/CAClient.sml
apps/blockchain/CMakeLists.txt
apps/blockchain/Client.sml
apps/blockchain/HealthRecord.sml
apps/blockchain/README.md
apps/blockchain/RemoveUser.sml
apps/blockchain/Server.sml
apps/blockchain/SetHash.sml
apps/blockchain/test.sh
apps/serverClient/ClientTest.sml
apps/serverClient/Server.sml
copland/Parser.sml
copland/json/CoplandToJson.sml
copland/json/JsonToCopland.sml
system/crypto/CryptoFFI.sml
system/crypto/crypto_ffi.c
const
system/crypto/key_gen.c
util/BinaryParser.sml
util/ByteString.sml
substring
String.substring
util/Extra.sml
isDigit
isAlpha
crlf
\r
util/Http.sml
util/Json.sml
util/Misc.sml
Result.Result
Result.Exn
bind
>>=
CMakeLists.txt
util/Parser.sml
to theutil_src
CakeMLHelper.cmake
.cake
extension from the assemblyam/CommTypes.sml
am/ServerAm.sml
apps/blockchain/AddUser.sml
apps/blockchain/Blockchain.sml
Either
instead of throwing an exceptionapps/blockchain/CA.sml
apps/blockchain/CAClient.sml
apps/blockchain/CMakeLists.txt
apps/blockchain/Client.sml
apps/blockchain/HealthRecord.sml
apps/blockchain/README.md
apps/blockchain/RemoveUser.sml
apps/blockchain/Server.sml
apps/blockchain/SetHash.sml
apps/blockchain/test.sh
apps/serverClient/ClientTest.sml
apps/serverClient/Server.sml
copland/Parser.sml
copland/json/CoplandToJson.sml
copland/json/JsonToCopland.sml
system/crypto/CryptoFFI.sml
system/crypto/crypto_ffi.c
const
modifiers on function parameters that compiler was complaining aboutsystem/crypto/key_gen.c
util/BinaryParser.sml
util/ByteString.sml
substring
function to matchString.substring
signatureutil/Extra.sml
isDigit
,isAlpha
, ... parsing utilitiescrlf
as a constant because CakeML produces a syntax error on\r
util/Http.sml
util/Parser.sml
util/Json.sml
util/Parser.sml
util/Misc.sml
Result.Result
toResult.Exn
bind
to match Haskell's>>=
notationutil/Parser.sml