Can now add type-vars to imported procedures from scripting languages.

29 files changed, 91 insertions, 18 deletions

diff --git a/documentation/bookmark/Feature toggle.md b/documentation/bookmark/Feature toggle.md
deleted file mode 100644
index 7e55a519b..000000000
--- a/documentation/bookmark/Feature toggle.md
+++ /dev/null
@@ -1,4 +0,0 @@
-# Reference
-
-1. [Feature Toggles (aka Feature Flags)](https://martinfowler.com/articles/feature-toggles.html)
-
diff --git a/documentation/bookmark/Package.md b/documentation/bookmark/Package.md
deleted file mode 100644
index b58cc3221..000000000
--- a/documentation/bookmark/Package.md
+++ /dev/null
@@ -1,5 +0,0 @@
-# Repository
-
-1. [WebAssembly Package Manager](https://wapm.io/)
-1. [About GitHub Packages](https://docs.github.com/en/free-pro-team@latest/packages/publishing-and-managing-packages/about-github-packages#supported-clients-and-formats)
-
diff --git a/documentation/bookmark/api/rest.md b/documentation/bookmark/api/rest.md
deleted file mode 100644
index 50186c599..000000000
--- a/documentation/bookmark/api/rest.md
+++ /dev/null
@@ -1,4 +0,0 @@
-# Reference
-
-0. [Standards.REST](https://standards.rest/)
-
diff --git a/documentation/bookmark/application_binary_interface.md b/documentation/bookmark/application_binary_interface.md
index 454bcafb2..a5c7a78fe 100644
--- a/documentation/bookmark/application_binary_interface.md
+++ b/documentation/bookmark/application_binary_interface.md
@@ -1,4 +1,5 @@
 # Reference
 
+0. [To Save C, We Must Save ABI](https://thephd.dev/to-save-c-we-must-save-abi-fixing-c-function-abi)
 0. [Making Libraries Consumable for Non-C++ Developers - Aaron R Robinson - CppCon 2021](https://www.youtube.com/watch?v=4r09pv9v1w0)
 
diff --git a/documentation/bookmark/application_programming_interface.md b/documentation/bookmark/application_programming_interface.md
new file mode 100644
index 000000000..47c8613a6
--- /dev/null
+++ b/documentation/bookmark/application_programming_interface.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Aligning on Your API Design Using Jobs to be Done](https://blog.stoplight.io/aligning-on-your-api-design-using-jobs-to-be-done)
+
diff --git a/documentation/bookmark/application_programming_interface/rest.md b/documentation/bookmark/application_programming_interface/rest.md
new file mode 100644
index 000000000..bb063dc6d
--- /dev/null
+++ b/documentation/bookmark/application_programming_interface/rest.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [How to design better APIs: 15 language-agnostic, actionable tips on REST API design.](https://r.bluethl.net/how-to-design-better-apis)
+0. [Standards.REST](https://standards.rest/)
+
diff --git a/documentation/bookmark/back_end/c.md b/documentation/bookmark/back_end/c.md
index 8e08e7326..17c3b9ee9 100644
--- a/documentation/bookmark/back_end/c.md
+++ b/documentation/bookmark/back_end/c.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [Functional C](https://ris.utwente.nl/ws/portalfiles/portal/5128727/book.pdf)
 0. [Cello: High Level C](https://libcello.org/)
 0. [C as a scripting language thanks to TinyCC](https://ciesie.com/post/tinycc_dynamic_compilation/)
 0. [mlibc: Portable C standard library](https://github.com/managarm/mlibc)
diff --git a/documentation/bookmark/back_end/rust.md b/documentation/bookmark/back_end/rust.md
new file mode 100644
index 000000000..ed0ef7b1e
--- /dev/null
+++ b/documentation/bookmark/back_end/rust.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [CXX — safe interop between Rust and C++](https://cxx.rs/)
+
diff --git a/documentation/bookmark/commercialization.md b/documentation/bookmark/commercialization.md
new file mode 100644
index 000000000..fde647857
--- /dev/null
+++ b/documentation/bookmark/commercialization.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [New sponsors-only repositories, custom amounts, and more](https://github.blog/2022-02-02-new-sponsors-only-repositories-custom-amounts-and-more/)
+
diff --git a/documentation/bookmark/commercialization/licensing.md b/documentation/bookmark/commercialization/licensing.md
new file mode 100644
index 000000000..a67c974aa
--- /dev/null
+++ b/documentation/bookmark/commercialization/licensing.md
@@ -0,0 +1,6 @@
+# Reference
+
+0. [Universal Basic Cop-Out](https://writing.kemitchell.com/2022/02/04/Universal-Basic-Cop-Out.html)
+0. [The Tyranny of Openness: What Happened to Peer Production?](https://osf.io/9utyk/?view_only=44b5c10772d5470892b701dfe4b2c833)
+0. [Shared Source Initiative](https://en.wikipedia.org/wiki/Shared_Source_Initiative)
+
diff --git a/documentation/bookmark/commercialization/marketplace.md b/documentation/bookmark/commercialization/marketplace.md
new file mode 100644
index 000000000..4cc16d3ad
--- /dev/null
+++ b/documentation/bookmark/commercialization/marketplace.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [sdkbin: The marketplace for software developers.](https://sdkbin.com/)
+
diff --git a/documentation/bookmark/compilation/just_in_time.md b/documentation/bookmark/compilation/just_in_time.md
new file mode 100644
index 000000000..dea94f107
--- /dev/null
+++ b/documentation/bookmark/compilation/just_in_time.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Trace-based compilation in execution environments without interpreters](https://dl.acm.org/doi/10.1145/1852761.1852771)
+
diff --git a/documentation/bookmark/feature_toggle.md b/documentation/bookmark/feature_toggle.md
new file mode 100644
index 000000000..ec99c1c35
--- /dev/null
+++ b/documentation/bookmark/feature_toggle.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [When Feature Flags Do And Don’t Make Sense](https://software.rajivprab.com/2019/12/19/when-feature-flags-do-and-dont-make-sense/)
+0. [Feature Toggles (aka Feature Flags)](https://martinfowler.com/articles/feature-toggles.html)
+
diff --git a/documentation/bookmark/floating_point.md b/documentation/bookmark/floating_point.md
index c18d7fa7e..a344106c2 100644
--- a/documentation/bookmark/floating_point.md
+++ b/documentation/bookmark/floating_point.md
@@ -15,6 +15,7 @@
 
 # Comparison
 
+0. [Comparing Floating-Point Numbers Is Tricky](https://www.youtube.com/watch?v=iW7H1KfSJ8s)
 0. [Approximate Equality for Floating Point](https://github.com/apple/swift-evolution/blob/master/proposals/0259-approximately-equal.md)
 
 # Random generation
diff --git a/documentation/bookmark/game/algorithm/collision_detection.md b/documentation/bookmark/game/algorithm/collision_detection.md
new file mode 100644
index 000000000..89a53bb94
--- /dev/null
+++ b/documentation/bookmark/game/algorithm/collision_detection.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [GJK: Collision detection algorithm in 2D/3D](https://blog.winter.dev/2020/gjk-algorithm/)
+
diff --git a/documentation/bookmark/game/engine.md b/documentation/bookmark/game/engine.md
index 53d2e2d56..5b0555f3b 100644
--- a/documentation/bookmark/game/engine.md
+++ b/documentation/bookmark/game/engine.md
@@ -2,6 +2,7 @@
 
 ## General
 
+0. [The Machinery](https://ourmachinery.com/)
 0. [Open 3D Engine](https://www.o3de.org/)
 
 ## Specialized
diff --git a/documentation/bookmark/game/mechanic/boss.md b/documentation/bookmark/game/mechanic/boss.md
index 25522da6c..be2f952ee 100644
--- a/documentation/bookmark/game/mechanic/boss.md
+++ b/documentation/bookmark/game/mechanic/boss.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [What Makes A Good Colossal Boss?](https://www.youtube.com/watch?v=k1hFnjUFSsY)
 0. [What Makes A Great First Boss? ~ Design Doc](https://www.youtube.com/watch?v=0NGBo3HUrn0)
 0. [Ally Brinken & Michelle Webb - Who's the Boss (And How and Why)?](https://www.youtube.com/watch?v=6JjEXyfXt3U)
 
diff --git a/documentation/bookmark/gpu_programming.md b/documentation/bookmark/gpu_programming.md
index 02444379e..1f36ccfb0 100644
--- a/documentation/bookmark/gpu_programming.md
+++ b/documentation/bookmark/gpu_programming.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [GPU.js: GPU accelerated JavaScript](https://gpu.rocks/#/)
 0. [cudaFlow: Modern C++ Programming Model for GPU Task Graph Parallelism - CppCon 2021](https://www.youtube.com/watch?v=-tIQbIhTAv8)
 0. [GPU Accelerated Computing on Cross-Vendor Graphics Cards with Vulkan Kompute - Alejandro Saucedo](https://www.youtube.com/watch?v=DBcXrJtJaIQ)
 0. [Generic GPU Kernels](https://mikeinnes.github.io/2017/08/24/cudanative.html)
diff --git a/documentation/bookmark/hardware.md b/documentation/bookmark/heterogeneous_computing.md
index 5378d55f5..c025e91ad 100644
--- a/documentation/bookmark/hardware.md
+++ b/documentation/bookmark/heterogeneous_computing.md
@@ -1,4 +1,6 @@
 # Reference
 
+0. [Level up Your Java Performance with TornadoVM](https://www.infoq.com/articles/java-performance-tornadovm/)
+0. [TornadoVM](https://www.tornadovm.org/)
 0. [Heterogeneous Modern C++ with SYCL 2020 - Michael Wong, Nevin Liber, Tom Deakin & Gordon Brown](https://www.youtube.com/watch?v=5awOtaJw8XM)
 
diff --git a/documentation/bookmark/math/geometry/differential.md b/documentation/bookmark/math/geometry/differential.md
new file mode 100644
index 000000000..73c9f465f
--- /dev/null
+++ b/documentation/bookmark/math/geometry/differential.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Visual Differential Geometry and Forms: A Mathematical Drama in Five Acts](https://press.princeton.edu/books/hardcover/9780691203690/visual-differential-geometry-and-forms)
+
diff --git a/documentation/bookmark/optimization/dead_code_elimination.md b/documentation/bookmark/optimization/dead_code_elimination.md
new file mode 100644
index 000000000..03a4bd9ca
--- /dev/null
+++ b/documentation/bookmark/optimization/dead_code_elimination.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [PartialExecuter: Reducing WebAssembly size by exploring all executions in LLVM](https://leaningtech.com/reducing-webassembly-size-by-exploring-all-executions-in-llvm/)
+0. [Dead code elimination](https://en.wikipedia.org/wiki/Dead_code_elimination)
+
diff --git a/documentation/bookmark/security.md b/documentation/bookmark/security.md
index 301a2e163..bb88f8a3f 100644
--- a/documentation/bookmark/security.md
+++ b/documentation/bookmark/security.md
@@ -1,3 +1,7 @@
+# ID
+
+0. [Code Smell 120 - Sequential IDs](https://maximilianocontieri.com/code-smell-120-sequential-ids)
+
 # Anti-Debugging
 
 0. [JavaScript AntiDebugging Tricks](https://x-c3ll.github.io/posts/javascript-antidebugging/)
diff --git a/documentation/bookmark/testing.md b/documentation/bookmark/testing.md
index 6d12ee5a2..c28708d0e 100644
--- a/documentation/bookmark/testing.md
+++ b/documentation/bookmark/testing.md
@@ -23,6 +23,10 @@
 
 0. [Cross-Branch Testing](https://www.hillelwayne.com/post/cross-branch-testing/)
 
+# Coverage
+
+0. [Modified condition/decision coverage](https://en.wikipedia.org/wiki/Modified_condition/decision_coverage)
+
 # Reference
 
 0. [Test Anything Protocol](http://testanything.org/)
diff --git a/documentation/bookmark/text/ascii.md b/documentation/bookmark/text/ascii.md
new file mode 100644
index 000000000..a1f7792a1
--- /dev/null
+++ b/documentation/bookmark/text/ascii.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Writing semantic ASCII](https://smitop.com/post/ascii/)
+
diff --git a/documentation/bookmark/tool/package_manager.md b/documentation/bookmark/tool/package_manager.md
new file mode 100644
index 000000000..410aa2faf
--- /dev/null
+++ b/documentation/bookmark/tool/package_manager.md
@@ -0,0 +1,6 @@
+# Repository
+
+0. [Meta Package Manager: one CLI for all package managers](https://github.com/kdeldycke/meta-package-manager)
+0. [WebAssembly Package Manager](https://wapm.io/)
+0. [About GitHub Packages](https://docs.github.com/en/free-pro-team@latest/packages/publishing-and-managing-packages/about-github-packages#supported-clients-and-formats)
+
diff --git a/documentation/bookmark/type_theory/gradual.md b/documentation/bookmark/type_theory/gradual.md
new file mode 100644
index 000000000..0ad15b912
--- /dev/null
+++ b/documentation/bookmark/type_theory/gradual.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Putting gradual types to work](https://arxiv.org/abs/2101.12299)
+
diff --git a/documentation/bookmark/user_interface/accessibility.md b/documentation/bookmark/user_interface/accessibility.md
index d4f38e0c1..0880d713d 100644
--- a/documentation/bookmark/user_interface/accessibility.md
+++ b/documentation/bookmark/user_interface/accessibility.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [Inclusive Design Principles](https://inclusivedesignprinciples.org/)
 0. [Making Accessibility More Accessible](https://austingil.com/making-accessibility-more-accessible/)
 0. [Detecting Hover-Capable Devices](https://css-irl.info/detecting-hover-capable-devices/)
 0. [Nobody talks about the real reason to use Tabs over Spaces](https://www.reddit.com/r/javascript/comments/c8drjo/nobody_talks_about_the_real_reason_to_use_tabs/?st=jxuy98ok&sh=8487bdfa)
diff --git a/documentation/bookmark/user_interface/color.md b/documentation/bookmark/user_interface/color.md
index a4de0c8e3..16dc073bd 100644
--- a/documentation/bookmark/user_interface/color.md
+++ b/documentation/bookmark/user_interface/color.md
@@ -1,8 +1,10 @@
 # Reference
 
-1. [Building a color scheme: A foundational overview of how to establish a dynamic and configurable color scheme](https://web.dev/building-a-color-scheme/)
-1. [Web-safe colors](https://en.wikipedia.org/wiki/Web_colors#Web-safe_colors)
-1. [CSS Gradient Fixer](https://www.da.vidbuchanan.co.uk/widgets/css-gradient-fixer/)
-1. [Towards richer colors on the Web](https://darker.ink/writings/Towards-richer-colors-on-the-Web)
-1. [How software gets color wrong](https://bottosson.github.io/posts/colorwrong/)
+0. [CSS System Colors](https://blog.jim-nielsen.com/2021/css-system-colors/)
+0. [LUTious Color: Grading for Games](https://www.youtube.com/watch?v=-fb3QXR5spE)
+0. [Building a color scheme: A foundational overview of how to establish a dynamic and configurable color scheme](https://web.dev/building-a-color-scheme/)
+0. [Web-safe colors](https://en.wikipedia.org/wiki/Web_colors#Web-safe_colors)
+0. [CSS Gradient Fixer](https://www.da.vidbuchanan.co.uk/widgets/css-gradient-fixer/)
+0. [Towards richer colors on the Web](https://darker.ink/writings/Towards-richer-colors-on-the-Web)
+0. [How software gets color wrong](https://bottosson.github.io/posts/colorwrong/)
 
diff --git a/documentation/bookmark/web/api/barcode.md b/documentation/bookmark/web/api/barcode.md
new file mode 100644
index 000000000..fb0ddd869
--- /dev/null
+++ b/documentation/bookmark/web/api/barcode.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Barcode Detection API](https://developer.mozilla.org/en-US/docs/Web/API/Barcode_Detection_API)
+