Skip to content Skip to sidebar Skip to footer

Programs as Diagrams: From Categorical Computability to Computable Categories by deltasepsilon

[Submitted on 7 Aug 2022 (v1), last revised 28 Mar 2023 (this version, v4)] Download PDF Abstract:This is a draft of the textbook/monograph that presents computability theory using string diagrams. The introductory chapters have been taught as graduate and undergraduate courses and evolved through 8 years of lecture notes. The later chapters contain new ideas

ByHackTechNovember 6, 20231Comment

News

Markdeep: diagrams, calendars, equations, and more as extensions of Markdown by JonathanBuchh

Markdeep ✒ ✒ Demo | Features | Templates | Get Started | Examples | Advanced | Credits | License Markdeep is a technology for writing plain text documents that will look good in any web browser, whether local or remote. It supports diagrams, calendars, equations, and other features as extensions of Markdown syntax. Markdeep is free and easy to use. It doesn’t require a plugin or Internet connection. Your document…

ByHackTechMarch 19, 20220Comments

Sign Up to Our Newsletter