/agda-nofib

Benchmark programs for Agda

Primary LanguageAgda

This repository is not active