0
I Use This!
Low Activity

Commits : Listings

Analyzed about 21 hours ago. based on code collected about 21 hours ago.
Oct 27, 2024 — Oct 27, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #205 from rzk-lang/fix-cabal More... 2 months ago
Add version bounds for successful Hackage upload More... 2 months ago
Merge branch 'release-v0.7.6' into develop More... 2 months ago
Bump version and update changelog More... 2 months ago
Merge pull request #201 from rzk-lang/fix-200 More... 3 months ago
Update from macos-12 to macos-13 and macos-latest runners More... 3 months ago
Enable DeriveDataTypeable to work around a minor bug in BNFC 2.9.6 (fix #200) More... 3 months ago
Merge pull request #194 from dannypsnl/patch-1 More... 11 months ago
fix typo More... 11 months ago
Merge pull request #193 from alicelogos/fix-tuple-pattern-syntax More... 11 months ago
Fix tuple pattern syntax More... 11 months ago
Merge pull request #191 from alicelogos/fix-tuple-patterns More... 12 months ago
Fix tuple patterns in parameter declarations More... 12 months ago
Merge branch 'release-v0.7.5' into develop More... about 1 year ago
Bump version and update changelog More... about 1 year ago
Merge pull request #188 from rzk-lang/186-update-deps More... about 1 year ago
Support newer lsp More... about 1 year ago
Merge pull request #184 from rzk-lang/fix-ci More... over 1 year ago
Switch to macos-12 (since macos-latest does not have Stack yet) More... over 1 year ago
Merge pull request #183 from geffk2/syntax-sugar-sigma-types More... over 1 year ago
Merge branch 'develop' into syntax-sugar-sigma-types More... over 1 year ago
Update all actions More... over 1 year ago
Made naming consistent for Sigma Tuples More... over 1 year ago
Added tuple patterns More... over 1 year ago
Merge pull request #181 from geffk2/fix-aarch64-darwin-build More... over 1 year ago
Added lsp tokenization More... over 1 year ago
Added ASCII and Unicode rules More... over 1 year ago
Support tuple patterns (desugared to left-associative nested pairs) More... over 1 year ago
Corrected overlapping rule More... over 1 year ago
Implemented syntactic sugar for nested sigma types More... over 1 year ago