Main Concepts

In this section, we will explore some of the core concepts of Ferrite. The constructs in Ferrite follow closely with the concepts in session types, with some slight differences that will be addressed here.