purescript-typelevel-prelude:基本类型级编程的类型和种类

时间:2024-05-28 11:00:20
【文件属性】:

文件名称:purescript-typelevel-prelude:基本类型级编程的类型和种类

文件大小:12KB

文件格式:ZIP

更新时间:2024-05-28 11:00:20

PureScript

purescript-typelevel-prelude 基本类型级编程的类型和种类。 安装 spago install typelevel-prelude 文献资料 模块文档。


【文件预览】:
purescript-typelevel-prelude-master
----package.json(251B)
----.github()
--------PULL_REQUEST_TEMPLATE.md(606B)
--------workflows()
----LICENSE(1KB)
----src()
--------Type()
----.gitignore(107B)
----CHANGELOG.md(4KB)
----README.md(826B)
----bower.json(566B)

网友评论