Re: N3 builtins repo

Hi everyone,   There was a small typo in the URLs:  repo:  github.com https://github.com/domel/n3builtins  HTML:  domel.github.io https://domel.github.io/n3builtins/specification/   And, yes PRs are welcome.   Best,  Dominik   Dnia 3 kwietnia 2023 19:26 William Van Woensel <william.vanwoensel@gmail.com> napisał(a):  Hi everyone,   For now, please consider the following repo as the main builtins source:  github.com https://github.com/domel/n3buildins   As Dominik mentioned, the HTML file can be found here (auto-deployed from the repo_:1  domel.github.io https://domel.github.io/n3buildins/specification/     So, please post any PRs there as well!    Regards,   William