1 Commits (cf7b6aee6e5496cc9f164c2bec98f0d63ebe9a40)

Author	SHA1	Message	Date
anemofilia	1cea301441	feat: add a idris manifest for when I get time to hack with it	2023-09-30 13:33:38 -03:00