docs: RFC for type system - #1964

Merged

aljazerzen merged 12 commits into

mainfrom

Mar 14, 2023

Commits on Feb 26, 2023

docs: RFC for type system
aljazerzen
committed
a5b360b
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot]
committed
c99b306

Commits on Feb 27, 2023

physical layout
aljazerzen
committed
2fddd11
an example
aljazerzen
committed
0a37ed2
Update book/src/internals/type-system.md

aljazerzen
and
max-sixty
authored
37324dc

Commits on Mar 11, 2023

Typos and minor fixes

committed
31b3bbe

Commits on Mar 12, 2023

Theory section
aljazerzen
committed
394336a
cleanup, rewording
aljazerzen
committed
e14d6f2
Apply suggestions from code review

aljazerzen
and
eitsupi
authored
0ea6cc4

Commits on Mar 14, 2023

Merge remote-tracking branch 'origin/main' into rfc-types
aljazerzen
committed
5eadc77
Functions
aljazerzen
committed
358befd
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot]
committed
ac318b9