carnap-docker

Public

• NotificationsYou must be signed in to change notification settings
• Fork0 (0)
• Star3 (3)You must be signed in to star a repository

About

docker image for carnap

Topics

carnapdockereducationlogic

Activity

Stars

3 stars

Watchers

2 watching

Forks

0 forks

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

39 Commits

39 Commits

Folders and files

Name		Name	Last commit message	Last commit date
patches		patches
.gitignore		.gitignore
.travis.yml		.travis.yml
Dockerfile		Dockerfile
Dockerfile-0.10		Dockerfile-0.10
Dockerfile-0.11		Dockerfile-0.11
Dockerfile-0.12		Dockerfile-0.12
Dockerfile-0.13		Dockerfile-0.13
Dockerfile-0.14		Dockerfile-0.14
Dockerfile-0.15		Dockerfile-0.15
Dockerfile-0.2		Dockerfile-0.2
Dockerfile-0.3		Dockerfile-0.3
Dockerfile-0.4		Dockerfile-0.4
Dockerfile-0.5		Dockerfile-0.5
Dockerfile-0.6		Dockerfile-0.6
Dockerfile-0.7		Dockerfile-0.7
Dockerfile-0.8		Dockerfile-0.8
Dockerfile-0.9		Dockerfile-0.9
SecureStrings.hs		SecureStrings.hs
a794e5a60e125da72ff131485fb74ea90c987a78.patch		a794e5a60e125da72ff131485fb74ea90c987a78.patch
a794e5a60e125da72ff131485fb74ea90c987a78.patch2		a794e5a60e125da72ff131485fb74ea90c987a78.patch2
mk_ghcjs_symlinks.sh		mk_ghcjs_symlinks.sh
semigroupoids-5.0.1.tgz		semigroupoids-5.0.1.tgz
stack-ghcjs.yaml		stack-ghcjs.yaml
stack.yaml.ghcjs		stack.yaml.ghcjs
View all files

About

docker image for carnap

Topics

carnapdockereducationlogic

Activity

Stars

3 stars

Watchers

2 watching

Forks

0 forks

Report repository

Releases

Packages

Used by

Contributors

Languages