GitHub repository: stefan-hoeck/idris2-linux
Primary language: Idris
Created: 2024-08-25T04:41:33Z
Description: Utilities for using Idris2 on GNU/Linux systems