4 commits

Author	SHA1	Message	Date
Ryan Hendrickson	95890b3e1d	docs: merge builtin-constants into builtins	2024-07-07 15:57:23 -04:00
Valentin Gagarin	a713476790	docs: split types from syntax (#11013) ... move together all syntactic and semantic information into one page, and add a page on data types, which in turn links to the syntax and semantics. also split out the note on scoping rules into its own page. Co-authored-by: Ryan Hendrickson <ryan.hendrickson@alum.mit.edu>	2024-07-03 09:03:41 +02:00
Valentin Gagarin	1e1f08c045	annotate admonitions showing syntax ... also fix typos	2023-10-10 00:45:19 +02:00
Valentin Gagarin	f00a5eb11b	introduce lookup paths as a distinct language construct ... so far they did not really have a name, and were at best referred to as "angle bracket syntax".	2023-10-07 04:44:09 +02:00