search

idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

Adopt MIT(-friendly) LICENSE #47

Closed yurrriq closed 6 years ago

yurrriq commented 6 years ago

The license has been updated upstream, and is a lot clearer now.

https://softwarefoundations.cis.upenn.edu/lf-current/

yurrriq commented 6 years ago

Closed in #44