ucsd-progsys/liquidhaskell
说明与用途
ucsd-progsys/liquidhaskell：ucsd-progsys/liquidhaskell may be useful when its README and activity match a concrete workflow.。适合用于Misc。Early or unclear: treat as research material until maintenance, releases, docs, and issue activity are verified.
实际用途
ucsd-progsys/liquidhaskell may be useful when its README and activity match a concrete workflow.
限制与审查说明
Early or unclear: treat as research material until maintenance, releases, docs, and issue activity are verified.
- 来源: github
- 语言: Haskell
- 记录日期: 2026-09-05T17:32:18.429Z