comparison prepaper/src/DataSegment.agda @ 0:3dba680da508

init-test
author soto
date Tue, 08 Dec 2020 19:06:49 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:3dba680da508
1 record ds0 : Set where
2 field
3 a : Int
4 b : Int
5
6 record ds1 : Set where
7 field
8 c : Int