GitHub repository: shayan-najd/QFeldspar-Idris
Primary language: Idris
Created: 2015-05-11T23:44:33Z
Description: A port of QFeldspar to Idris