文件名称：formality-test-drive:体验形式验证语言
文件大小：15KB
文件格式：ZIP
更新时间：2024-04-15 19:07:47
formality-test-drive:体验形式验证语言
【文件预览】：
formality-test-drive-master
----main.fm(2KB)
----fm_modules()
--------version(7B)
--------Equal#j0AB.fm(1KB)
--------Function#9ekH.fm(945B)
--------Nat#u5c3.fm(4KB)
--------Subset#CPkv.fm(313B)
--------DemoApp#_y0o.fm(2KB)
--------Sigma#u5vb.fm(232B)
--------App#E9xk.fm(961B)
--------Bits#GR5d.fm(4KB)
--------String#M_Ff.fm(289B)
--------IO#SMLX.fm(691B)
--------Unit#ZcZV.fm(296B)
--------Empty#qpku.fm(510B)
--------List#jJkT.fm(3KB)
--------The#4WSc.fm(301B)
--------Map#RLqO.fm(5KB)
--------Pair#3jEF.fm(526B)
--------Base#.fm(337B)
--------Bool#zvwm.fm(3KB)
--------Maybe#SzO..fm(1KB)
--------Either#K5DT.fm(366B)
--------Number#l4jf.fm(1KB)