3 Commits

Author	SHA1	Message	Date
Théo Marchal	da9b4141a2	Second pass	2025-06-20 01:38:42 +02:00
Théo Marchal	fd602b34b3	Misc. meaning and typo fixes	2024-07-29 00:45:27 +02:00
Théo Marchal	3f325ffe0f	Added all N3 notions	2024-06-10 12:50:51 +02:00