log paper/src/MetaMetaDataSegment.agda @ 69:bda11534296f

age author description
Fri, 03 Feb 2017 11:59:41 +0900 atton Add example of meta code segment execution