Commit Graph

1 Commits (6d7e6563eb6b00986baf3b411cffbbe215ec2b60)

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