Type some Sophia here!

• Type some expression, like 2 + 2. You should get the 4 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. Try include "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.