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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add various missing bits to answer key.	David A. Madore	2024-01-24	1	-6/+120
\|
*	Exercise had already been explained during course. Change it.	David A. Madore	2024-01-24	1	-10/+9
\|
*	Make changes suggested by TZ.	David A. Madore	2024-01-24	1	-21/+50
\|
*	Fill in number of pages and indication of grading.	David A. Madore	2024-01-22	1	-3/+4
\|
*	Second pass of proofreading.	David A. Madore	2024-01-22	1	-124/+133
\|
*	First pass of proofreading.	David A. Madore	2024-01-22	1	-112/+145
\|
*	A simple exercise about Coq.	David A. Madore	2024-01-22	1	-0/+62
\|
*	An exercise on Gödel's theorem.	David A. Madore	2024-01-22	1	-0/+79
\|
*	An exercise on Hindley-Milner.	David A. Madore	2024-01-22	1	-0/+63
\|
*	Improve that last exercise.	David A. Madore	2024-01-22	1	-3/+25
\|
*	An exercise on simple reading of lambda-terms.	David A. Madore	2024-01-22	1	-0/+48
\|
*	An exercise on semantics.	David A. Madore	2024-01-22	1	-0/+145
\|
*	First version of test for 2024-01-26.	David A. Madore	2024-01-22	1	-0/+625