Update aardvark.pldb - Githubissues

breck7 / pldb

PLDB: a Programming Language DataBase

https://pldb.io

702 stars 93 forks source link

Closed hg0428 closed 8 months ago

hg0428 commented 8 months ago

Update the Aardvark programming language. I couldn't figure out how to commit changes in the online editor.

hg0428 commented 8 months ago

I could not do it from the website because the login returned 405: Not allowed