I don't know if OP is contributing to this project but FWIW having some code examples in the homepage would help with the adoption.
(I clicked to the GH page and there is no code in the readme there as well.)
(I clicked to the GH page and there is no code in the readme there as well.)
https://github.com/wyvernlang/wyvern/blob/master/examples/bo...
Is that a statically checked DSL? Is it part of the base language? If it's a DSL, where is it defined?
(not a critic to parent's post, just saying it in case someone involved in the project steps here)
No thanks.
This is a research language at the moment, so our papers are the primary mode of communication about the language. There are several examples in those.