Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / flyingleafe / mathlogic-proof-checker
Homeworks of ITMO mathlogic course
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flyingleafe%2Fmathlogic-proof-checker
Stars: 1
Forks: 0
Open Issues: 0
License: None
Language: Haskell
Repo Size: 3.76 MB
Dependencies:
11
Created: over 9 years ago
Updated: over 4 years ago
Last pushed: about 9 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
Homework1.cabal
hackage
- base ==4.6.*
- bytestring >=0.9
- bytestring ==0.10.0.2
- containers *
- ghc >=7.6.3
- hashable *
- hashtables *
- parsec *
- syb >=0.4.0
- template-haskell *
- utf8-string *