Repository Issues

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

GitHub で見る
Stars
 (1,306 stars)
Forks
 (157 forks)
Indexed issues
 (20 indexed issues)
open beginner issues
 (20 open beginner issues)
最終索引
2026年7月4日
最終 GitHub push
2026年5月15日
ライセンス
BSD 3-Clause "New" or "Revised" License
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
Haskell
PR merge metrics
 (平均マージ 2d 18h) (30d で 12 merged PRs)
初心者向けラベル
good first issue

Issue

20 open indexed issues

RSSAtom
オープン
Liquid Haskell should accept `UnicodeSyntax`
good first issue

ucsd-progsys/liquidhaskell #2,551 は 2025年6月8日 に作成 · Haskell · 1,306 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり
4 件のコメント0 件のリアクション0 担当者
オープン
Cannot parse `GHC.Types.:`
good first issue

ucsd-progsys/liquidhaskell #2,193 は 2023年7月7日 に作成 · Haskell · 1,306 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり
13 件のコメント0 件のリアクション0 担当者
オープン
Collect bfq files in CI
good first issue

ucsd-progsys/liquidhaskell #2,020 は 2022年6月29日 に作成 · Haskell · 1,306 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり
4 件のコメント0 件のリアクション0 担当者
オープン
Recover some tests of parsing errors
good first issue

ucsd-progsys/liquidhaskell #2,009 は 2022年6月16日 に作成 · Haskell · 1,306 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルあり
0 件のコメント0 件のリアクション0 担当者
オープン
LIQUIDHASKELL_OPTS can hold only one argument
good first issue

ucsd-progsys/liquidhaskell #1,990 は 2022年5月30日 に作成 · Haskell · 1,306 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルあり
0 件のコメント0 件のリアクション0 担当者
オープン
"Incomplete patterns" error with GHC <9.0.1
good first issue

ucsd-progsys/liquidhaskell #1,918 は 2021年12月1日 に作成 · Haskell · 1,306 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり
1 件のコメント0 件のリアクション0 担当者
オープン
Cannot parse specification
good first issue

ucsd-progsys/liquidhaskell #1,781 は 2020年10月22日 に作成 · Haskell · 1,306 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルあり
0 件のコメント0 件のリアクション0 担当者
オープン
Question about Dependent Sums
errormsggood first issue

ucsd-progsys/liquidhaskell #1,615 は 2020年2月14日 に作成 · Haskell · 1,306 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり
9 件のコメント0 件のリアクション0 担当者
オープン
The sort GHC.Natural.Natural is not numeric
good first issue

ucsd-progsys/liquidhaskell #1,500 は 2019年5月28日 に作成 · Haskell · 1,306 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり
2 件のコメント0 件のリアクション0 担当者
オープン
Cannot parse the unit value in refinement bounds
easygood first issueparser

ucsd-progsys/liquidhaskell #1,300 は 2018年4月17日 に作成 · Haskell · 1,306 stars

おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり
1 件のコメント0 件のリアクション0 担当者