Mercurial > hg > Members > atton > agda > systemF
view .hgignore @ 32:fe231950824a default tip
Define not in SystemT
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 11 Jun 2014 16:47:20 +0900 |
parents | eb55f604b970 |
children |
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 11 Jun 2014 16:47:20 +0900 |
parents | eb55f604b970 |
children |