IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

38 stars 13 forks source link

Add `CHANGELOG` and `CODEOWNERS` #493

Closed WhatisRT closed 5 months ago

WhatisRT commented 5 months ago

Description

Closes #492.

Checklist

[x] Commit sequence broadly makes sense and commits have useful messages
[x] Code is formatted according to CONTRIBUTING.md
[x] Self-reviewed the diff

WhatisRT commented 5 months ago

Yes, but for now I've only added semantic changes to the spec to the changelog. If we ever do releases of the Agda code we may put things like that there, but for now I don't want to deal with that.