Initial prototype of interactive tutorials#677

jducoeur wants to merge 5 commits into

maintypelevel/typelevel.github.com:mainfrom

jducoeur/tutorials_prototypetypelevel/typelevel.github.com:jducoeur/tutorials_prototypeCopy head branch name to clipboard