Linear types proposal for Hare
View source (Markdown). Basics of linear types The borrow checker is mostly based on the concept of linear types. In…
linear
Lazy Linearity for a Core Functional Language
I’m very proud to announce that “Lazy Linearity for a Core Functional Language”, a paper by myself and Bernardo Toninho,…
Show HN: The Little Notebook for Learning Linear Algebra with Python
Chapter 1. Vectors, scalars, and geometry 1. Scalars, Vectors, and Coordinate Systems Let’s get our hands dirty! This lab is…