ucsd-progsys/liquidhaskellHaskellLiquid Types For Haskell最終コミット 2026年5月15日1,306 stars (1,306 stars)157 forks (157 forks)20 件の索引済み issue (20 件の索引済み issue)20 件のオープンな good first issue (20 件のオープンな good first issue)
