The big-picture view is here: https://gitlab.com/owl-lisp/owl/-/blob/master/doc/manual.md

Key points include:

- 100% immutable datastructures

- Immutability is leveraged to make a lot of core operations concurrent

- Continuation-based threading model and Actor-based concurrency

- Fun little VM implemented behind the scenes

That being said, the documentation strongly contradicts the title!

> The goal has not at any point been to become an ultimate Lisp and take over the world

tests/theorem-rand.scm is beautiful!

e.g.

      theorem vec-zip
         ∀ v ∊ (Vector-of Short)
            (vector-zip + v v) = (vector-map (λ (x) (* x 2)) v)

The repo doesn't say much... I thought maybe the docs would justify "world domination" in some fashion, but they are rather dry: https://haltp.org/posts/owl.html

Is there something that describes what is notable about this Lisp dialect?

I wonder why it's called 'Owl Lisp' instead of 'Owl Scheme'. Could make a funny parallel to Chicken Scheme.