Repository navigation

First release

Pre-release

Pre-release

maximiliani released this 02 Sep 10:22

· 35 commits to main since this release

8e2ec44

What's Changed

Starter by @maximiliani in #1
Created data model by @maximiliani in #14
Add inheritance logic by @maximiliani in #15
Refactoring by @maximiliani in #16
First release by @maximiliani in #12

New Contributors

@maximiliani made their first contribution in #1

Full Changelog: https://github.com/maximiliani/idoris/commits/v0.0.0

Contributors

maximiliani

Assets 2