logo
首页技术栈工具库讨论
egison-tutorial

egison-tutorial

A tutorial program for the Egison programming language. Egison is the programming langugage that realized non-linear pattern-matching against unfree data types. With Egison, we can represent pattern-matching with unfree data types intuitively, especially for collection data, such as lists, multisets, sets. Please try Egison with this tutorial program!
由 
bruceshi2021-01-13 收录
--
推荐
不推荐
更多信息
HACKAGE
carbal install egison-tutorial
查看
标签
根据用户添加的标签生成
暂无标签