Dominik Pantůček 934bbb9cf6 Document new dictionary equality predicate.		2023-04-11 14:02:02 +02:00
..
members.md	Initial documentation cleanup with focus on utils.	2023-04-08 22:23:42 +02:00
modules.md	Remove the documentation of deprecated dictionary implementation.	2023-04-10 20:27:42 +02:00
utils.md	Document new dictionary equality predicate.	2023-04-11 14:02:02 +02:00