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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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