Sign inSign up

glebkrasilich/agda

By glebkrasilich

•Updated over 3 years ago

A simple dockerized Agda built on top of official Haskell image

Image
0

257

glebkrasilich/agda repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

sha256:e182ce5b4…

Size

1010.7 MB

Last updated

over 3 years ago

docker pull glebkrasilich/agda