(500) https://webdam.inria.fr/Alice/LinkShared 2 July 2020@BrandonBloom @borkdude Have you flipped through The Alice Book before? May be useful, even if only for the bibliography. webdam.inria.fr ↗