comparison src/apply_function.agda @ 56:398b42a1ac19

Fix layouts
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Mon, 16 Feb 2015 15:05:11 +0900 (2015-02-16)
parents a0d91fbf4876
children
comparison
equal deleted inserted replaced
55:43213dcf8d24 56:398b42a1ac19