docs: started work on a type reference#3590

wizard7377 wants to merge 3 commits into

idris-lang:mainidris-lang/Idris2:mainfrom

wizard7377:typeDocswizard7377/Idris2:typeDocsCopy head branch name to clipboard