Paul Cadman 509e9e54fd Update language reference to match current state of Juvix (#1594) ... * docs: ℕ to Nat * docs: Add emacs goto definition * Document juvix-format-buffer and add emacs keybinding * docs: replace ghc with c in compile block examples * Update CLI documentation * doc: replace ↦ and → with ->		2022-10-24 10:44:05 +02:00
..
backends	Remove Haskell support (#1496)	2022-08-31 17:14:37 +02:00
compiler-architecture	Rename MiniJuvix to Juvix (#259)	2022-07-08 13:59:45 +02:00
examples	remove ≔ from the language and replace it by := (#1563)	2022-09-30 10:55:32 +10:00
getting-started	Add CLI usage examples doc and integrate with README (#1504)	2022-09-01 10:54:38 +01:00
introduction/about	Various documentation adjustments (#1434)	2022-08-04 12:50:30 +02:00
language-reference	Update language reference to match current state of Juvix (#1594)	2022-10-24 10:44:05 +02:00
notes	Rename builtin natural to nat and boolean to bool (#1588)	2022-10-14 18:42:03 +02:00
tooling	Update language reference to match current state of Juvix (#1594)	2022-10-24 10:44:05 +02:00
tutorials	remove ≔ from the language and replace it by := (#1563)	2022-09-30 10:55:32 +10:00
SUMMARY.org	Remove Monomorphization from the Pipeline (#1497)	2022-08-31 18:05:16 +02:00