This page demonstrates a code editor and REPL so you can test it out yourself here in the page. The checkbox toggles darkmode on and off for the code editor. The down spot in the gutter can be clicked to toggle folding for the prepopulated function. If you write multiline functions you will see additional folds any def (or class) lines.