4 commits

Author	SHA1	Message	Date
Dominik Pantůček	33f02bd329	Implement dict-map.	2023-03-16 10:22:50 +01:00
Dominik Pantůček	3697f5169d	Finish the build infrastructure for separate linking.	2023-03-14 14:50:10 +01:00
Dominik Pantůček	ecb1fb6264	Start work on the new tool.	2023-03-13 19:55:46 +01:00
Dominik Pantůček	1849a63d36	Make dictionary a standalone module.	2023-03-13 19:53:17 +01:00