Ignore missing pattern in Isabelle

前端 未结 0 740
终归单人心
终归单人心 2020-12-09 20:46

For example, I would like to define a function that extracts the first element of a list. For this function, I do not care about the case when the list is empty (e.g. I can

相关标签:
回答
  • 消灭零回复
提交回复
热议问题