• 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
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
• Define values, functions and types like you would normally do in Sophia:
  • let x = 2
  • type endomorphism('a) = ('a) => 'a
  • record anti_bool = {true : unit, false : unit}
• 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)}