Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / rodrigogribeiro / type-theory
Being the materials of type theory course at UFOP
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rodrigogribeiro%2Ftype-theory
Stars: 8
Forks: 0
Open Issues: 0
License: None
Language: Haskell
Repo Size: 441 KB
Dependencies:
29
Created: over 9 years ago
Updated: about 3 years ago
Last pushed: about 9 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
aulas/aula11/src/coreML.cabal
hackage
- base >=4.6 && <4.8
- containers ==0.5.*
- mtl ==2.2.*
- parsec ==3.1.*
- pretty ==1.1.*
- repline >=0.1.2.0
- text ==1.2.*
- transformers >=0.4.2 && <0.5
aulas/aula12/src/coreML.cabal
hackage
- base >=4.6 && <4.8
- containers ==0.5.*
- mtl ==2.2.*
- parsec ==3.1.*
- pretty ==1.1.*
- repline >=0.1.2.0
- text ==1.2.*
- transformers >=0.4.2 && <0.5
aulas/aula13/src/coreML.cabal
hackage
- base >=4.6 && <4.8
- containers ==0.5.*
- mtl ==2.2.*
- parsec ==3.1.*
- pretty ==1.1.*
- repline >=0.1.2.0
- text ==1.2.*
- transformers >=0.4.2 && <0.5