dvmcarpena/agda-language-server

•Updated over 4 years ago

Image

118

Tags for dvmcarpena/agda-language-server

Sort by

TAG

git

Last pushed over 4 years by dvmcarpena

docker pull dvmcarpena/agda-language-server:git

Digest	OS/ARCH	Compressed size
9e313fff7400	linux/amd64	1.18 GB

TAG

hottest-summer-school

Last pushed over 4 years by dvmcarpena

docker pull dvmcarpena/agda-language-server:hottest-summer-school

Digest	OS/ARCH	Compressed size
9e313fff7400	linux/amd64	1.18 GB