Resources for type theory, functional programming, etc.
https://github.com/williamdemeo/TypeFuncOpen linkView original on programming.devhttps://github.com/williamdemeo/TypeFuncOpen linkView original on programming.devhttps://github.com/williamdemeo/TypeFuncOpen linkView original on programming.dev
Thank you for posting that.
_ /\ _