Create data Nat · e1135c8da8 - Gogs Jovian

Create data Nat

Handle an integer with Peano arithmetic

DricomDragon 5 年之前

父節點

0aa2aebfc3

當前提交

e1135c8da8

共有 1 個文件被更改，包括 2 次插入 和 0 次删除

分割檢視顯示文件統計

						
							+ 2
							
							- 0
						
peano.hs
							 
								查看文件
							
				@@ -0,0 +1,2 @@
			
				+data Nat = Zero | Succ Nat
			
				+