Skip to content

Home

Welcome to Arch Docs! Here you'll find everything you need to get started and dive deep into the design and theory behind Arch.

References

  • Type Theory Overview – Explore the core principles and frameworks of type theory
  • HoTT Book – Learn the foundations of Homotopy Type Theory
  • Lambda Calculus – Understand the basis of functional abstraction and computation
  • Category Theory – Discover the categorical perspective and its connection to types