From 5ce89dbaf2b391ff2bc46385872ca3e1881377f8 Mon Sep 17 00:00:00 2001 From: Raphael Forment Date: Sat, 9 Sep 2023 10:40:01 +0200 Subject: [PATCH] adding toss function to helpers --- src/documentation/inlineHelp.ts | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/documentation/inlineHelp.ts b/src/documentation/inlineHelp.ts index 2197311..828557b 100644 --- a/src/documentation/inlineHelp.ts +++ b/src/documentation/inlineHelp.ts @@ -13,6 +13,12 @@ type CompletionDatabase = { }; const completionDatabase: CompletionDatabase = { + toss: { + name: "toss", + category: "randomness", + description: "Toss a coin, true or false", + example: "toss() : log('heads')" + }, attack: { name: "attack", category: "synthesis",