Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / abpwrs / cs-3820-sp19
Programming Language Concepts
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/abpwrs%2Fcs-3820-sp19
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: Agda
Repo Size: 125 MB
Dependencies:
12
Created: about 5 years ago
Updated: over 4 years ago
Last pushed: about 5 years ago
Last synced: about 1 year ago
Topics: agda, functional-programming, haskell, programming-language-concepts, programming-language-development
Files
Loading...
Readme
Loading...
Dependencies
hw3/AstGen.cabal
hackage
- array >=0.5.1.0
- base >=4.8
- bytestring >=0.10.6.0
- containers >=0.5.6.2
- mtl *
hw3/lexing1/lexing1.cabal
hackage
- array >=0.5.1.0
- base >=4.8
- bytestring >=0.10.6.0
- containers >=0.5.6.2
- mtl *
hw3/parsing1/parsing1.cabal
hackage
- base ==4.11.*
- unordered-containers *