idris

Name

idris-with-packages-1.3.4

Programs

• idris
• idris-codegen-c
• idris-codegen-javascript
• idris-codegen-node

Defined

Source