https://github.com/idris-hackers/software-foundations
Software Foundations in Idris
https://github.com/idris-hackers/software-foundations
book computer-science idris theorem-proving
Last synced: 4 months ago
JSON representation
Software Foundations in Idris
- Host: GitHub
- URL: https://github.com/idris-hackers/software-foundations
- Owner: idris-hackers
- License: mit
- Created: 2016-06-23T10:01:40.000Z (almost 10 years ago)
- Default Branch: develop
- Last Pushed: 2019-05-15T19:06:08.000Z (about 7 years ago)
- Last Synced: 2024-08-03T15:06:45.497Z (almost 2 years ago)
- Topics: book, computer-science, idris, theorem-proving
- Language: Idris
- Homepage: https://idris-hackers.github.io/software-foundations
- Size: 4.25 MB
- Stars: 453
- Watchers: 30
- Forks: 34
- Open Issues: 15
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
Awesome Lists containing this project
README
# _[Software Foundations][SF] in Idris_
[](https://travis-ci.org/idris-hackers/software-foundations)
:book: [Download the PDF][PDF]
## Building
To rebuild the PDF, ensure the [prerequisites][prereqs] are installed, then:
```fish
make pdf
```
### Prerequisites
Others may work, but here are the versions I'm using.
| Dependency | Version |
|------------------|-----------------------------------------------|
| [(run)ghc][GHC] | 8.4.3 |
| [Idris][] | 1.3.0 |
| [latexmk][] | 4.59 |
| [GNU Make][] | 4.2.1 |
| [minted][] | 2.5 |
| [Iosevka][] | 1.14.3 |
| [Pandoc][] | 2.2.1 |
| [pandoc-types][] | 1.17.5.1 |
| [Python][] | 3.6.6 |
| [Pygments][] | 2.2.0 |
| [XeLaTeX][] | 3.14159265-2.6-0.99999 (Web2C 2018/NixOS.org) |
### Installing prerequisites
- [macOS](prerequisites_macOS.md)
[SF]: http://www.cis.upenn.edu/%7Ebcpierce/sf/current/index.html
[PDF]: https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf
[prereqs]: #prerequisites
[GHC]: https://www.haskell.org/ghc/
[Idris]: https://www.idris-lang.org
[latexmk]: https://www.ctan.org/pkg/latexmk/
[Make]: https://www.gnu.org/software/make/
[minted]: http://www.ctan.org/pkg/minted
[Iosevka]: https://be5invis.github.io/Iosevka/
[Pandoc]: http://pandoc.org
[pandoc-types]: https://github.com/jgm/pandoc-types
[Python]: https://www.python.org
[Pygments]: http://pygments.org
[XeLaTeX]: http://tug.org/xetex/