~wldhx/plfa (dev): / - sourcehut git

~wldhx/plfa

54504d9b — wldhx additional explainers 3 years ago

d---------

.githooks/

-rw-r--r--

.gitignore

381 bytes

-rw-r--r--

.gitmodules

103 bytes

-rwxr-xr-x

404.html

398 bytes

-rw-r--r--

LICENSE

18.2 KiB

-rw-r--r--

Makefile

8.6 KiB

-rw-r--r--

README.md

21.2 KiB

-rw-r--r--

TODO.md

636 bytes

-rw-r--r--

agda-language-server.nix

1.0 KiB

d---------

authors/

d---------

bib/

d---------

contributors/

d---------

courses/

d---------

csl/

d---------

css/

-rw-r--r--

defaults

17 bytes

-rw-r--r--

dotdir-locals.el

303 bytes

d---------

epub/

d---------

extra/

-rw-r--r--

fix-whitespace.yaml

1.2 KiB

d---------

hs/

-rw-r--r--

notes.md

66 bytes

d---------

papers/

-rw-r--r--

plfa.agda-lib

49 bytes

-rw-r--r--

plfa.cabal

2.4 KiB

d---------

posts/

d---------

public/

-rw-r--r--

shell.nix

372 bytes

d---------

src/

-rw-r--r--

stack.yaml

1.5 KiB

m---------

standard-library @ 2f0fb515271fa1a01a5c55b9cf5d401c5c65aa37

d---------

templates/

d---------

versions/