GitHub repository: rafaelRiv/TinyIdris
Primary language: Idris
Description: Experiment with Edwin TinyIdris