GitHub repository: stefan-hoeck/idris2-elin
Primary language: Idris
Created: 2025-02-17T11:37:22Z
Description: Stateful linear computations plus error handling