issues
search
Smaug123
/
agdaproofs
Mathematical proofs in Agda
MIT License
4
stars
1
forks
source link
Travis fix
#77
Closed
Smaug123
closed
5 years ago
Smaug123
commented
5 years ago
We were actually passing unconditionally.
We were actually passing unconditionally.