用 Nix 编写的库
nix-flake-github-ci-template
将 nix flakes 与 GitHub Actions 结合使用的模板。
- 3
- GNU General Public License v3.0 only
liquid-haskell-parsing-demo
Liquid Haskell 和细化类型如何帮助 API 设计的一个小演示。
- 2
- GNU Affero General Public License v3.0