curry-frontend
Lexer, parser, type checker, etc. for Curry; executable
RUN apt-get update && \
apt-get install -y curry-frontend
RUN apt-get update && \
apt-get install -y curry-frontend
RUN apt-get update && \
apt-get install -y curry-frontend