Some experiments based on @yoricksijsling's implementation of ornaments
Primary LanguageAgda
No issues in this repository yet.