comparison .hgignore @ 26:5ba82f107a95

Define Similar in Agda
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 07 Oct 2014 14:43:33 +0900
parents ae41becf41db
children 861e35665469
comparison
equal deleted inserted replaced
25:a5aadebc084d 26:5ba82f107a95