Commit 64659e721e028ecb868a74cd5609434f252ce971 - The-Glosscubator

+1

-1

Agile Development/README.md less more

36	36
37	37	### Papers
38	38
39		[A typology of organisational cultures \\| BMJ Quality & Safety](https://qualitysafety.bmj.com/content/13/suppl_2/ii22)
	39	[A typology of organisational cultures](https://qualitysafety.bmj.com/content/13/suppl_2/ii22)
40	40
41	41	### Books
42	42

+4

-1

Agile Development/src/Papers.md less more

6	6	SPDX-License-Identifier: CC0-1.0
7	7	-->
8	8
9		### A typology of organisational cultures \\| BMJ Quality & Safety
	9	### A typology of organisational cultures
10	10
	11	* authors: Ron Westrum
	12	* date: 2004
11	13	* url: https://qualitysafety.bmj.com/content/13/suppl_2/ii22
	14	* paywall: true
12	15
13	16	.

+1

-1

Agile Development/src/commentary/Chris Pressey.md less more

18	18
19	19	Not sure just how agile this could possibly be, but giving it the benefit of the doubt.
20	20
21		### A typology of organisational cultures \\| BMJ Quality & Safety
	21	### A typology of organisational cultures
22	22
23	23	* rating: classic
24	24

+2

-0

Algebraic Logic/src/Papers.md less more

16	16
17	17	### The Convolution Algebra
18	18
	19	* authors: John Harding, Carol Walker and Elbert Walker
	20	* date: 2018
19	21	* url: https://math.nmsu.edu/people/personal-pages/files/2018-The-Convolution-Algebra.pdf
20	22
21	23	.

+1

-1

Compiler Construction/src/Papers.md less more

22	22	* url: https://www.cse.iitd.ac.in/~sak/courses/pl/opsem.pdf
23	23	* topics: Compiler Construction
24	24	* future-topics: Formal Semantics
25		* format-notes: Actually a book chapter.
	25	* format: book-chapter
26	26
27	27	.

+4

-2

Computational Complexity/src/Papers.md less more

8	8
9	9	### Why Philosophers Should Care About Computational Complexity
10	10
11		* author: Scott Aaronson
	11	* authors: Scott Aaronson
12	12	* date: 2011
13	13	* online @ [www.scottaaronson.com](https://www.scottaaronson.com/papers/philos.pdf)
14	14	* online @ [arxiv.org](https://arxiv.org/abs/1108.1791v3)

18	18
19	19	### Protein folding is NP-hard
20	20
	21	* authors: Aviezri S. Fraenkel
21	22	* identifier: S0092-8240(05)80170-3
22	23	* date: 1993
23	24	* online @ [www.gwern.net](https://www.gwern.net/docs/1993-fraenkel.pdf)

27	28
28	29	### Complexity Hierarchies Beyond Elementary
29	30
30		* author: Sylvain Schmitz
	31	* authors: Sylvain Schmitz
	32	* date: 2013
31	33	* online @ [arxiv.org](https://arxiv.org/abs/1312.5686)
32	34
33	35	.

+2

-2

Coq/README.md less more

46	46
47	47	### Papers
48	48
49		[Introduction to the Calculus of Inductive Constructions - Christine Paulin-Mohring (pdf)](https://inria.hal.science/hal-01094195/document)
	49	[Introduction to the Calculus of Inductive Constructions](https://inria.hal.science/hal-01094195/document)
50	50
51		[The Calculus of Inductive Constructions - Hugo Herbelin (pdf)](https://www.cs.uoregon.edu/research/summerschool/summer11/lectures/oplss-herbelin1.pdf)
	51	[The Calculus of Inductive Constructions](https://www.cs.uoregon.edu/research/summerschool/summer11/lectures/oplss-herbelin1.pdf)
52	52
53	53	[Pragmatic Quotient Types in Coq](https://perso.crans.org/cohen/papers/quotients.pdf)
54	54

+9

-2

Coq/src/Papers.md less more

6	6	SPDX-License-Identifier: CC0-1.0
7	7	-->
8	8
9		### Introduction to the Calculus of Inductive Constructions - Christine Paulin-Mohring (pdf)
	9	### Introduction to the Calculus of Inductive Constructions
10	10
	11	* authors: Christine Paulin-Mohring
	12	* date: 2015
11	13	* url: https://inria.hal.science/hal-01094195/document
	14	* format: pdf
12	15
13	16	.
14	17
15		### The Calculus of Inductive Constructions - Hugo Herbelin (pdf)
	18	### The Calculus of Inductive Constructions
16	19
	20	* authors: Hugo Herbelin
	21	* date: 2011
17	22	* url: https://www.cs.uoregon.edu/research/summerschool/summer11/lectures/oplss-herbelin1.pdf
18	23
19	24	.
20	25
21	26	### Pragmatic Quotient Types in Coq
22	27
	28	* authors: Cyril Cohen
	29	* date: 2013
23	30	* url: https://perso.crans.org/cohen/papers/quotients.pdf
24	31
25	32	.

+2

-2

Coq/src/commentary/Chris Pressey.md less more

32	32
33	33	Not sure why they call it "Computational type theory" instead of CIC, but OK.
34	34
35		### Introduction to the Calculus of Inductive Constructions - Christine Paulin-Mohring (pdf)
	35	### Introduction to the Calculus of Inductive Constructions
36	36
37	37	* rating: TODO
38	38
39	39	.
40	40
41		### The Calculus of Inductive Constructions - Hugo Herbelin (pdf)
	41	### The Calculus of Inductive Constructions
42	42
43	43	* rating: TODO
44	44

+1

-1

by-rating/Classic.md less more

67	67
68	68	### Agile Development
69	69
70		* [A typology of organisational cultures \\| BMJ Quality & Safety](https://qualitysafety.bmj.com/content/13/suppl_2/ii22)
	70	* [A typology of organisational cultures](https://qualitysafety.bmj.com/content/13/suppl_2/ii22)
71	71
72	72	### Attribute Grammars
73	73

+2

-2

by-rating/Unrated.md less more

117	117
118	118	### Coq
119	119
120		* [Introduction to the Calculus of Inductive Constructions - Christine Paulin-Mohring (pdf)](https://inria.hal.science/hal-01094195/document)
121		* [The Calculus of Inductive Constructions - Hugo Herbelin (pdf)](https://www.cs.uoregon.edu/research/summerschool/summer11/lectures/oplss-herbelin1.pdf)
	120	* [Introduction to the Calculus of Inductive Constructions](https://inria.hal.science/hal-01094195/document)
	121	* [The Calculus of Inductive Constructions](https://www.cs.uoregon.edu/research/summerschool/summer11/lectures/oplss-herbelin1.pdf)
122	122
123	123	### Functional Programming
124	124

+1

-1

schema/Book.md less more

16	16
17	17	* optional: true
18	18
19		The author(s) of the book.
	19	The subtitle of the book.
20	20
21	21	### authors
22	22

+92

-0

schema/Paper.md less more

	0	Paper (schema)
	1	==============
	2
	3	<!--
	4	SPDX-FileCopyrightText: In 2024, Chris Pressey, the original author of this work, placed it into the public domain.
	5
	6	SPDX-License-Identifier: CC0-1.0
	7	-->
	8
	9	This is a schema which defines, for now, a few rudimentary things about
	10	what properties all Paper entries in this repository should have.
	11
	12	The order in which they are listed here induces an order in which they
	13	should appear on each entry.
	14
	15	### subtitle
	16
	17	* optional: true
	18
	19	The subtitle of the paper.
	20
	21	### authors
	22
	23	The author(s) of the paper.
	24
	25	### translators
	26
	27	* optional: true
	28
	29	The translator(s) of this edition of paper.
	30
	31	### date
	32
	33	Date the paper was published.
	34
	35	### publication
	36
	37	* optional: true
	38
	39	publication
	40
	41	### identifier
	42
	43	* optional: true
	44
	45	This might need some rethinking
	46
	47	### format
	48
	49	* optional: true
	50
	51	If the paper is not actually a paper but something else, this can be
	52	noted here. Possible values: `book-chapter`, `talk-slides`. Also,
	53	if it's not obvious it's a PDF from the URL, `pdf` can be put here.
	54
	55	### wikipedia
	56
	57	* optional: true
	58
	59	Wikipedia
	60
	61	### online
	62
	63	* optional: true
	64	* multiple: true
	65
	66	A URL where the paper can be read online.
	67
	68	### url
	69
	70	* optional: true
	71
	72	A URL where the paper can be read online.
	73
	74	### paywall
	75
	76	* optional: true
	77
	78	A boolean indicating whether the paper is restricted from access at the online URL or not.
	79
	80	### topics
	81
	82	* optional: true
	83
	84	A comma-separated list of multiple topics that this book is classified under.
	85
	86	### future-topics
	87
	88	* optional: true
	89
	90	A comma-separated list of multiple topics that this book might be classified under
	91	one day, once those topics exist.

+1

-0

scripts/check-schema.sh less more

0	0	#!/bin/sh -ex
1	1
2	2	feedmark --check-against-schema schema/Book.md */src/Books.md
	3	feedmark --check-against-schema schema/Paper.md [0-9AC]*/src/Papers.md