Implementation of transformational semantics in Idris
Primary LanguageIdris
This repository is not active