GitHub repository: omedusyo/linear-resource-calculus
Primary language: Rust
Created: 2024-10-12T21:05:05Z
Description: Experiments with linear resources/types