idris-hackers/software-foundations

PDF is unavailable

optician opened this issue · 1 comments

optician commented

A link to pdf in README returns 404.

yurrriq commented

That link is dependent on #51. Here's the old PDF, and the current one.

  • 👍1