Mercurial > hg > Members > atton > agda-proofs
comparison Dockerfile @ 56:ddcd652969e0
Add executable subtype-stack
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 11 Jan 2017 20:11:01 +0000 |
parents | 8ce6a3f51523 |
children |
comparison
equal
deleted
inserted
replaced
55:81c6779583b6 | 56:ddcd652969e0 |
---|