Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / minad / Idris-dev
A Dependently Typed Functional Programming Language
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/minad%2FIdris-dev
Fork of idris-lang/Idris-dev
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language: Haskell
Repo Size: 26.7 MB
Dependencies:
46
Created: over 8 years ago
Updated: about 1 year ago
Last pushed: over 8 years ago
Last synced: about 1 year ago
Funding links: https://github.com/sponsors/minad
Files
Loading...
Readme
Loading...
Dependencies
idris.cabal
hackage
- Win32 <2.4
- annotated-wl-pprint ==0.7.*
- ansi-terminal <0.7
- ansi-wl-pprint <0.7
- base ==4.*
- base *
- base64-bytestring <1.1
- binary ==0.7.*
- blaze-html >=0.6.1.3 && <0.9
- blaze-markup >=0.5.2.1 && <0.8
- bytestring <0.11
- cheapskate <0.2
- containers ==0.5.*
- deepseq <1.5
- directory >=1.2.2.0 && <1.2.3.0 || >1.2.3.0
- directory *
- filepath <1.5
- filepath *
- fingertree ==0.1.*
- haskeline >=0.7
- haskeline ==0.7.*
- hscurses <1.5
- idris *
- libffi <0.2
- mtl >=2.1 && <2.3
- network <2.7
- optparse-applicative ==0.11.*
- parsers >=0.9 && <0.13
- pretty <1.2
- process <1.3
- safe *
- split <0.3
- text >=1.2.1.0 && <1.3
- time >=1.4 && <1.6
- transformers *
- transformers <0.5
- transformers-compat >=0.3
- trifecta >=1.1 && <1.6
- uniplate ==1.6.*
- unix <2.8
- unordered-containers <0.3
- utf8-string <1.1
- vector <0.11
- vector-binary-instances <0.3
- zip-archive >0.2.3.5 && <0.2.4
- zlib <0.6