https://albite-lang.com/https://albite-lang.com/docs/https://albite-lang.com/docs/language/control-flow/https://albite-lang.com/docs/language/data-types/https://albite-lang.com/docs/language/errors/https://albite-lang.com/docs/language/ffi/https://albite-lang.com/docs/language/functions/https://albite-lang.com/docs/language/generics/https://albite-lang.com/docs/language/modules/https://albite-lang.com/docs/language/partial-definitions-in-proofs/https://albite-lang.com/docs/language/recursion-the-compiler-can-see-ends/https://albite-lang.com/docs/language/recursion-under-a-generic/https://albite-lang.com/docs/language/strictly-positive-types/https://albite-lang.com/docs/language/values-and-types/https://albite-lang.com/docs/proofs/curry-howard/https://albite-lang.com/docs/proofs/dependent-types/https://albite-lang.com/docs/proofs/induction/https://albite-lang.com/docs/proofs/theorems/https://albite-lang.com/docs/reference/builtins/https://albite-lang.com/docs/reference/cli/https://albite-lang.com/docs/reference/limitations/https://albite-lang.com/docs/reference/syntax/https://albite-lang.com/docs/start/hello-world/https://albite-lang.com/docs/start/install/https://albite-lang.com/docs/start/the-name/https://albite-lang.com/docs/start/tour/https://albite-lang.com/faq/https://albite-lang.com/playground/https://albite-lang.com/releases/https://albite-lang.com/releases/v1-0/https://albite-lang.com/releases/v1-5/https://albite-lang.com/releases/v2-0-alpha/https://albite-lang.com/releases/v2-0-beta/https://albite-lang.com/roadmap/