Still wrestling with the basic app in Plutus tutorial at
As you can see in the screenshot below, the tutorial appears to give the type signature of endpoints instead of its definition (the type signature line of code appears twice, and there is no definition of ‘endpoints’ shown). I assume this is a mistake (it certainly doesn’t compile as is).
Anybody know what the definition should be here? I’ve made a few guesses but haven’t managed to compile.