idris-hackers/software-foundations

Software Foundations in Idris

Source code at GitHub https://idris-hackers.github.io/software-foundations

{
  "createdAt": "2016-06-23T10:01:40Z",
  "defaultBranch": "develop",
  "description": "Software Foundations in Idris",
  "fullName": "idris-hackers/software-foundations",
  "homepage": "https://idris-hackers.github.io/software-foundations",
  "language": "Idris",
  "name": "software-foundations",
  "pushedAt": "2019-05-15T19:06:08Z",
  "stargazersCount": 455,
  "topics": [
    "book",
    "computer-science",
    "idris",
    "theorem-proving"
  ],
  "updatedAt": "2025-11-04T00:11:17Z",
  "url": "https://github.com/idris-hackers/software-foundations"
}

[Software Foundations][SF] in Idris

:book: [Download the PDF][PDF]

Building

To rebuild the PDF, ensure the [prerequisites][prereqs] are installed, then:

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/