stylechecker activityhttps://git.ps.informatik.uni-kiel.de/curry-packages/stylechecker2023-11-12T15:09:41Ztag:git.ps.informatik.uni-kiel.de,2023-11-12:30652Michael Hanus pushed new project branch main at curry-packages / stylechecker2023-11-12T15:09:41ZmhMichael Hanus