0
I Use This!
Inactive

Commits : Listings

Analyzed 7 days ago. based on code collected 7 days ago.
Mar 31, 2025 — Mar 31, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
frag: Fixes in lint, compile
Vladimír Štill
as Vladimir Still
More... over 3 years ago
frag: Add lint, split main to functions
Vladimír Štill
as Vladimir Still
More... over 3 years ago
frag: Clean working with extensions
Vladimír Štill
as Vladimir Still
More... over 3 years ago
Don't show students the type inferred by GHC if they did not write it
Vladimír Štill
as Vladimir Still
More... over 3 years ago
driver: Clean flake
Vladimír Štill
as Vladimir Still
More... over 3 years ago
driver: Fix parsing of space-separated arguments
Vladimír Štill
as Vladimir Still
More... over 3 years ago
frag: Disable a buch of GHC2021 deriving-related extensions
Vladimír Štill
as Vladimir Still
More... over 3 years ago
CI: Bump cabal version
Vladimír Štill
as Vladimir Still
More... over 3 years ago
CI: Try using GHC 9.2.3
Vladimír Štill
as Vladimir Still
More... over 3 years ago
CI: Use new image & test with 9.2 on gitlab
Vladimír Štill
as Vladimir Still
More... over 3 years ago
frag: Make Main.hs work without warnings on GHC 9.2
Vladimír Štill
as Vladimir Still
More... almost 4 years ago
driver: Improve handler error message
Vladimír Štill
as Vladimir Still
More... about 4 years ago
driver: Add a last-resort exception handler
Vladimír Štill
as Vladimir Still
More... about 4 years ago
driver: Force disable deriving extensions enabled in GHC 9.2
Vladimír Štill
as Vladimir Still
More... about 4 years ago
cabal: Change mail address
Vladimír Štill
as Vladimir Still
More... about 4 years ago
cabal: Update tested-with to match primary CI
Vladimír Štill
as Vladimir Still
More... about 4 years ago
github: Add GHC 9.2 to workflows
Vladimír Štill
as Vladimir Still
More... about 4 years ago
github: Bump 9.0 bugfix for the sake of workflows
Vladimír Štill
as Vladimir Still
More... about 4 years ago
cabal: Acknowledge & enable GHC 9.2
Vladimír Štill
as Vladimir Still
More... about 4 years ago
testlib: Port to GHC 9.2
Vladimír Štill
as Vladimir Still
More... about 4 years ago
driver: Fix inverted condition
Vladimír Štill
as Vladimir Still
More... about 4 years ago
driver: Allow disabling hlint
Vladimír Štill
as Vladimir Still
More... about 4 years ago
frag: Split timing into separate file
Vladimír Štill
as Vladimir Still
More... over 4 years ago
frag: Fix mkreflect's handling of files with no newline at the end
Vladimír Štill
as Vladimir Still
More... over 4 years ago
frag: Fix mkreflect handling of comments
Vladimír Štill
as Vladimir Still
More... over 4 years ago
cabal: Bump version
Vladimír Štill
as Vladimir Still
More... over 4 years ago
testlib: Generalise testType a bit
Vladimír Štill
as Vladimir Still
More... over 4 years ago
cabal: Bump version a bit
Vladimír Štill
as Vladimir Still
More... over 4 years ago
testlib: Allow changing return type by annotation in order to change final comparison or counterexample
Vladimír Štill
as Vladimir Still
More... over 4 years ago
driver: Enable deriving extensions for teacher
Vladimír Štill
as Vladimir Still
More... over 4 years ago