GitHub repository: omelkonian/agda-minimal-backend
Primary language: Haskell
Created: 2023-11-19T11:14:13Z
Description: Rustic skeleton for developing a new Agda backend.