view source: index.lagda.md

Hola

Hey, everything you see is work in progress as it should be.

I'm currently working on the following sections:

• Foundations:

  • Basic Types
  • Interaction Trees

• AVM