Idris parser and serializer/deserealizer for TL language
Primary LanguageIdris
This repository is not active