This is an experimental base library which is supposed to contain functional datastructures and reflection code.
Primary LanguageAgdaOtherNOASSERTION