search

idris-hackers / software-foundations

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

Merge develop into master #51

Closed yurrriq closed 5 years ago

yurrriq commented 6 years ago

Notably, this will publish the latest PDF, which now builds via Nix.

(Currently it only works via nix-shell --run make and not nix-build, but it's nearly bedtime...)

clayrat commented 5 years ago

Is this finished now?

yurrriq commented 5 years ago

It's finished, in that it builds successfully (verified on Travis, though the results are currently unused) and includes the updated (and renamed) PDF.

clayrat commented 5 years ago

Should I merge it then?

yurrriq commented 5 years ago

Not if I merge it first :wink: