Tasks 3/13

[michaelto20]

• add code snippets showing the beginning and end of the commands running

• show example for adding definitions to context

• Make just the h2 header a button in HowToUse, not the whole div

• Type application move to bounded polymorphism

• natural number eliminator

• add Top to bounded poly

• Move term variable binding to Repl section

• Free Variables move to Core Repl

• Delete Type Variables section

• include Typed Lambdas in Poly section

• change name of Forall type to this

• syntax is in picture

• Top, every type is a subtype of Top

• make a note, for definition of substyping see the paper

• In Repl, show some simple examples, like typeChecking something

• Show steps from starting in main repl, going to both core and surface and evaluating something in both repls