| user: | hoping1 |
| created: | December 11, 2023 |
| karma: | 111 |
| about: | The creator of SaberVM. https://ryanbrewer.dev/posts/announcing-svm.html |
| 1. | Linear Logic: Par, a Friendly Explanation(ryanbrewer.dev) |
| 2. | Par Part 3: Par, Continued(ryanbrewer.dev) |
| 3. | A Tutorial on Linear Logic(ryanbrewer.dev) |
| 4. | Linear Logic – Par Part 2(ryanbrewer.dev) |
| 5. | Sequent Calculus and Notation – Par Part 1(ryanbrewer.dev) |
| 6. | Getting Started with Category Theory(ryanbrewer.dev) |
| 7. | Getting Started with Category Theory(ryanbrewer.dev) |
| 8. | The Type of Sprintf(ryanbrewer.dev) |