You are correct. The first bullet point on the page defines what embedded means for Ivory. > Embedded: Ivory is implemented as a library of the Haskell program

You are correct. The first bullet point on the page defines what embedded means for Ivory. > Embedded: Ivory is implemented as a library of the Haskell programming language. Ivory programs are written using Haskell syntax and types. An "embedded DSL" is written inside a host language. It is different from a DSL which is parsed from characters using an interpreter or compiler. I agree it's a confusing term in this context. I've also used the term "hosted". Wikipedia also suggests "internal". https://en.wikipedia.org/wiki/Domain-specific_language#Domain-specific_language_topics https://en.wikipedia.org/wiki/Domain-specific_language#Domai...