teach/inf110-lfi.git - INF110 (logique et fondements de l'informatique)

	Commit message (Collapse)	Author	Age	Files	Lines
*	Various curiosities.	David A. Madore	2023-11-15	1	-3/+32
\| \| \| \|	(Thanks to Thierry Martinez for most of these suggestions.)
*	Type systems for logic.	David A. Madore	2023-11-15	1	-1/+67
\|
*	Curry's paradox (an interlude).	David A. Madore	2023-11-15	1	-0/+88
\|
*	Typing and termination.	David A. Madore	2023-11-15	1	-0/+41
\|
*	Tasks in a typing system.	David A. Madore	2023-11-15	1	-1/+45
\|
*	More examples of languages with interesting type systems.	David A. Madore	2023-11-15	1	-4/+47
\|
*	Use of typing systems beyond value control.	David A. Madore	2023-11-15	1	-0/+36
\|
*	Minor clarification.	David A. Madore	2023-11-14	1	-2/+3
\|
*	Generalities about polymorphism.	David A. Madore	2023-11-14	1	-14/+64
\|
*	Basic set of slides on typing.	David A. Madore	2023-11-14	1	-0/+296