cryptol-html
domain-specific language of cryptography
RUN apt-get update && \
apt-get install -y cryptol
RUN apt-get update && \
apt-get install -y cryptol
RUN pacman -S --noconfirm cryptol
RUN apt-get update && \
apt-get install -y cryptol