Some code snippets here: https://nova-lang.net/introduction-to-nova/sight/
EDIT: seems to be open source, just isn't mentioned on the website https://forge.nouveau.community/nova
I like the idea of a "markdown for logic", with transpiliation to lots of different easy backends such as javascript.
Not convinced the language would actually be useful, but I like the ideas for portability.
While I'm not clear on how it scales to more broader problems, it's nice to see a somewhat novel idea in programming languages vs the same rehash of algol derived languages.
I do think I've seen something similar. A language mainly driven off of pattern matching, but I don't recall where. Does anyone know of prior art? Or is this completely novel?
I guess this sometime replace org-mode extensively. The idea is sound. The implementation looks good.
For instance, I love org-mode export capabilities to standard formats such as pdfs and other kinds of documents. It makes it real easy to export some formulae or docs for some feature.
Plus org-mode agenda is just superior and awesome.
Nice. The learn page reminded me of https://learnxinyminutes.com/ which I really liked as a quick way to get a tour of a language.
What's it for?
This feels like prolog, although I don't remember much about prolog apart from writing about 3 lines to get a CS degree. What puts this apart from prolog? (And are there, you know, reasons for using the language?)
iker
Did you have 3 seconds to see that there is a Nova code editor out there? (edit: this comment is about name confusion)
ahem, by law programming languages must have code samples on the front page