LICENSE · main · gemmaro / idris2-charprop · GitLab

Jul 11, 2022

[ add ] draft · 9bef92bc

gemmaro authored Jul 11, 2022

* [ chore ] readme

* [ format ] UnicodeCharProps code

* [ generate ] UnicodeCharProps

* [ clean ] iPKG

* [ add ] draft

* [ download ] Blocks.txt

9bef92bc

gemmaro authored Jul 11, 2022

* [ chore ] readme

* [ format ] UnicodeCharProps code

* [ generate ] UnicodeCharProps

* [ clean ] iPKG

* [ add ] draft

* [ download ] Blocks.txt

This project is licensed under the MIT License. Learn more