Idris source code file (Q127703853)
Jump to navigation
Jump to search
file format
Language | Label | Description | Also known as |
---|---|---|---|
English | Idris source code file |
file format |
Statements
1 reference
idr
1 reference
Language | Label | Description | Also known as |
---|---|---|---|
English | Idris source code file |
file format |