5 commits

Author	SHA1	Message	Date
Aramis Razzaghipour	1d103cf087	Use ‘index’ terminology for arena consistently	2021-01-17 18:38:08 +11:00
bors[bot]	3224ecea87	Merge #7276 ... 7276: Remove map module from la-arena public API r=lnicola a=arzg 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. This doesn’t compile for the same reason that #7275 doesn’t: > This pull request doesn’t compile because dependencies on la-arena go through crates.io, so existing dependencies on the crate are referencing an old version. As such, this PR will only compile once a new la-arena version has been published. Co-authored-by: Aramis Razzaghipour <aramisnoah@gmail.com>	2021-01-17 07:20:36 +00: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
Aramis Razzaghipour	6dc79952db	Add docs to la-arena crate	2021-01-15 10:40:17 +11:00
Aleksey Kladov	4c4e54ac8a	prepare to publish el libro de arena	2021-01-14 19:06:02 +03:00