Skip to content

input-output-hk/stdlib-meta

 
 

Repository files navigation

stdlib-meta: Meta-programming utilities CI

Browse the Agda code in HTML here.

About

Meta-programming utilities for Agda.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Agda 100.0%