GitHub repository: wizard7377/choice
Primary language: Idris
Created: 2025-07-18T22:19:32Z
Description: A List Monad Transformer for Idris