# Ytheleus│Well-Understood Programming

You're at ytheleus.org, home page of the [Ytheleus](yth-name) programming language!

This is not implemented yet; Ytheleus does not exist. With that out of the way, here are my vague ideas of what it should be:

+ It's Andreas Rossberg's 1ML, but computationally pure.
+ The implementation uses dynamic superinstructions for interpretation and compiles either via "Compiling without continuations", if I decide not to put first-class multiple-resumption continuations in the lanugage, or with CPS, otherwise.