Possible completions:
Type some Sophia here!
Local contract editor
Basic usage:
-
Type some expression, like
2 + 2
. You should get the4
answer -
To check the type of some value, prepend the query with
:t
, like:t 2 + 2
-
For the autocompletion press
ctrl
+space
-
For the autocompletion press the
autocomplete
button -
If you want to insert new line without sending the query use
shift
+enter
-
If you want to insert new line without sending the query use the
new line
button -
You can import standard library files by the standard
include
directive, or the:include
command. Tryinclude "List.aes"
or:include List.aes
-
Define values, functions and types like you would normally do in Sophia:
-
let x = 2
-
function f(y) = x + y
-
type endomorphism('a) = ('a) => 'a
-
record anti_bool = {true : unit, false : unit}
-
-
REPL commands (these you prepend with
:
) can be usually shortened, so:include
means the same as:inc
- The REPL is currently not connected to any public network, so it won't be able to interact with any real contracts. It also doesn't store any history, so you may want to backup your session manually.
(Note, this is a beta version. Treat it more like a toy)
Support the creator: ak_n84pX8BJsthdZ6XHfki8vSFZsV5EaZjCPCX9iBQ8xRYeefGRo