Switch to an explicitly typed core language#417

Draft

brendanzab wants to merge 1 commit intoyeslogic:mainfrom brendanzab:explicitly-typed-core

+1,096-1,020

Commits on Jan 23, 2023

Switch to an explicitly typed core language
brendanzab
committed