docs(tutorials): adds tutorial for Gemara type extensions - #9

docs(tutorials): adds tutorial for Gemara type extensions#9

jpower432 wants to merge 2 commits into

gemaraproj:maingemaraproj/website:mainfrom

jpower432:capability-extensionsjpower432/website:capability-extensionsCopy head branch name to clipboard