causes the agda compiler 2.5.2 to hang, uses standard library 0.13
Primary LanguageAgda
This repository is not active