search

breck7 / pldb

PLDB: a Programming Language DataBase
https://pldb.io
727 stars 98 forks source link

Combining `lil-pl` and `earnest-lil` #574

Closed JohnEarnest closed 3 weeks ago

JohnEarnest commented 3 weeks ago

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.

JohnEarnest commented 3 weeks ago

Thanks, Breck!

breck7 commented 3 weeks ago

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