feat(Foundations/Data): Function view for Turing tapes#499

crei wants to merge 6 commits into

leanprover:mainleanprover/cslib:mainfrom

crei:tapes_as_functionscrei/cslib:tapes_as_functionsCopy head branch name to clipboard