GitHub / plfa / plfa.github.io
An introduction to programming language theory in Agda
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/plfa%2Fplfa.github.io
PURL: pkg:github/plfa/plfa.github.io
Stars: 1,449
Forks: 338
Open issues: 58
License: cc-by-4.0
Language: Agda
Size: 201 MB
Dependencies parsed at:
240
Created at: over 8 years ago
Updated at: 23 days ago
Pushed at: 23 days ago
Last synced at: 23 days ago
Topics: book, programming-languages, proof-assistant
requirements-dev.txt
pypi
- bumpver ==2022.1120 development
package.json
npm
- browser-sync ^2.27.7 development
- html-minifier ^4.0.0 development
- html-validate ^7.2.0 development
- sass ^1.54.0 development
Gemfile
rubygems
- html-proofer ~> 3.19.4
- actions/cache v3 composite
- actions/setup-python v4 composite
- actions/cache v3 composite
- actions/cache v3 composite
- haskell/actions/setup v2.3.3 composite
- ruby/setup-ruby v1 composite
- actions/setup-node v3 composite
.github/workflows/build.yml
actions
- ./.github/actions/setup-epubcheck * composite
- ./.github/actions/setup-haskell * composite
- ./.github/actions/setup-htmlproofer * composite
- ./.github/actions/setup-node * composite
- actions/cache v3 composite
- actions/checkout v3 composite
- actions/upload-artifact v3 composite
- wenkokke/setup-agda latest composite
.github/workflows/publish.yml
actions
- ./.github/actions/download-release * composite
- JamesIves/github-pages-deploy-action v4.4.1 composite
- actions/checkout v3 composite
- actions/download-artifact v3 composite
.github/workflows/release.yml
actions
- ./.github/actions/setup-bumpver * composite
- actions/checkout v3 composite
- actions/download-artifact v3 composite
- softprops/action-gh-release v1 composite