Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / atomb / core-to-isabelle
Translator from GHC Core to Isabelle/HOLCF
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/atomb%2Fcore-to-isabelle
Stars: 17
Forks: 4
Open Issues: 10
License: None
Language: Emacs Lisp
Repo Size: 329 KB
Dependencies:
10
Created: over 13 years ago
Updated: 10 months ago
Last pushed: almost 12 years ago
Last synced: about 1 month ago
Files
Loading...
Readme
Loading...
Dependencies
core-to-isabelle.cabal
hackage
- base >4
- bytestring ==0.9.*
- extcore ==1.0.*
- filepath ==1.2.*
- ghc >=6.12 && <8
- ghc-paths *
- process ==1.0.*
- text ==0.11.*
- wl-pprint-text ==1.0.*
- zenc ==0.1.*