/Arend_learning

Repository for Arend language and it's concepts learning

Watchers