4 Commits

Author	SHA1	Message	Date
Aramis Razzaghipour	1d103cf087	Use ‘index’ terminology for arena consistently	2021-01-17 18:38:08 +11:00
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
Aleksey Kladov	b28c54a2c2	Rename ra_hir_def -> hir_def	2020-08-13 16:29:33 +02:00