Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jthemphill / Idris-dev
A Dependently Typed Functional Programming Language
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jthemphill%2FIdris-dev
Fork of idris-lang/Idris-dev
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language:
Repo Size: 18 MB
Dependencies:
45
Created: almost 10 years ago
Updated: about 1 year ago
Last pushed: almost 10 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
idris.cabal
hackage
- Cabal *
- Win32 *
- annotated-wl-pprint >=0.5.3
- ansi-terminal *
- ansi-wl-pprint *
- base ==4.*
- base *
- base64-bytestring *
- binary *
- blaze-html >=0.6.1.3
- blaze-markup >=0.5.2.1 && <0.7.0.0
- bytestring *
- cheapskate *
- containers >=0.5
- deepseq *
- directory *
- directory >=1.2
- filepath *
- fingertree >=0.1
- haskeline >=0.7
- hscurses *
- idris *
- language-java >=0.2.6
- lens >=4.1.1
- libffi *
- llvm-general ==3.3.8.*
- llvm-general-pure ==3.3.8.*
- mtl *
- network *
- optparse-applicative >=0.8
- parsers >=0.9 && <0.11.0.2
- pretty *
- process *
- split *
- text *
- time >=1.4
- transformers *
- trifecta >=1.1
- unix *
- unordered-containers *
- utf8-string *
- vector *
- vector-binary-instances *
- xml *
- zlib *