Sign inSign up

agda/fix-whitespace

Fixes whitespace issues

HaskellStars 10Forks 7Watchers 10Open issues 6License Other
Details
仓库信息
Owneragda
Homepagehttps://hackage.haskell.org/package/fix-whitespace
GitHubhttps://github.com/agda/fix-whitespace
Last pushed2025-11-25
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--