问题描述
我有自然数清单，并想设定清单首部的假设 当l为零时，不能为零。像（0 :: nil）给出false怎么写 正式吗？我将错误消息写为
((h::nil)=?(0::nil))=false.
解决方法
例如，您可以使用match语句：
match xs with
| 0::nil => False
| _ => True
end
我有自然数清单，并想设定清单首部的假设 当l为零时，不能为零。像（0 :: nil）给出false怎么写 正式吗？我将错误消息写为
((h::nil)=?(0::nil))=false.
例如，您可以使用match语句：
match xs with
| 0::nil => False
| _ => True
end
依赖报错 idea导入项目后依赖报错，解决方案：https://blog....
错误1：gradle项目控制台输出为乱码 # 解决方案：https://bl...