search

gdmcbain / musim

https://hub.docker.com/u/gdmcbain
0 stars 0 forks source link

Agda #16

Open gdmcbain opened 1 year ago

gdmcbain commented 1 year ago

Based on the usual installation?

gdmcbain commented 1 year ago

And what we've done for Yampa #6 #7.

gdmcbain commented 1 year ago 
FROM haskell
RUN cabal update && cabal install Agda

Cabal failed.

gdmcbain commented 1 year ago

Maybe try using Stack.

gdmcbain commented 1 year ago