4 Commits

Author	SHA1	Message	Date
Aramis Razzaghipour	9b5ba090db	Remove map module from la-arena public API ... It’s unlikely that more items will be added to the module, so it’s simpler for users if `ArenaMap` is re-exported and the module made private.	2021-01-15 11:14:04 +11:00
Aleksey Kladov	4c4e54ac8a	prepare to publish el libro de arena	2021-01-14 19:06:02 +03:00
Lukas Wirth	2c67a4abe4	Change HasChildSource::ChildId assoc item to generic param	2020-12-15 18:21:01 +01:00
Aleksey Kladov	b28c54a2c2	Rename ra_hir_def -> hir_def	2020-08-13 16:29:33 +02:00