Documentation

Forum

Question about the Arend language and the IntelliJ Arend plugin are welcome here.