search

breck7 / pldb

PLDB: a Programming Language DataBase
https://pldb.io
729 stars 99 forks source link

add lang #403

Closed hassamalhajaji closed 1 year ago

hassamalhajaji commented 1 year ago

Links https://www.hecl.org/ https://github.com/davidw/hecl/

hassamalhajaji commented 1 year ago

What's missing here? 59ada5f @breck7

breck7 commented 1 year ago

@hassamalhajaji type

breck7 commented 1 year ago

There should be a better error message for that. I'm gonna do a big cleanup of the editor.

hassamalhajaji commented 1 year ago

Thank you. I'll keep note of that!

breck7 commented 1 year ago

https://pldb.com/languages/hecl.html