Combining `lil-pl` and `earnest-lil`

Question

JohnEarnest opened this issue 3 months ago · 2 comments

I was just doing some browsing and noticed that https://pldb.io/concepts/lil-pl.html is a duplicate of https://pldb.io/concepts/earnest-lil.html . What's the procedure for merging these? The latter (earnest-lil) contains the most accurate/current information.

Answer 1 · 2024-08-24T00:41:18.000Z

Thanks, Breck!

Answer 2 · 2024-08-24T00:41:31.000Z

Thanks @JohnEarnest ! In a minute or two https://pldb.io/concepts/lil.html should point to what used to be called earnest-lil