Update LICENSE - Githubissues

agda / agda-stdlib

The Agda standard library

Other

575 stars 237 forks source link

Closed lexvanderstoep closed 3 months ago

lexvanderstoep commented 3 months ago

Update the year to reflect the present.

lexvanderstoep commented 3 months ago

Bit of a nit, but noticed the license was off.