openhub.net
Black Duck Software, Inc.
Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
R
rzk
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Low Activity
Commits
: Listings
Analyzed
about 21 hours
ago. based on code collected
about 21 hours
ago.
Oct 27, 2024 — Oct 27, 2025
Showing page 1 of 27
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Merge pull request #205 from rzk-lang/fix-cabal
Nikolai Kudasov
More...
2 months ago
Add version bounds for successful Hackage upload
Nikolai Kudasov
More...
2 months ago
Merge branch 'release-v0.7.6' into develop
Nikolai Kudasov
More...
2 months ago
Bump version and update changelog
Nikolai Kudasov
More...
2 months ago
Merge pull request #201 from rzk-lang/fix-200
Nikolai Kudasov
More...
3 months ago
Update from macos-12 to macos-13 and macos-latest runners
Nikolai Kudasov
More...
3 months ago
Enable DeriveDataTypeable to work around a minor bug in BNFC 2.9.6 (fix #200)
Nikolai Kudasov
More...
3 months ago
Merge pull request #194 from dannypsnl/patch-1
Nikolai Kudasov
More...
11 months ago
fix typo
Lîm Tsú-thuàn
More...
11 months ago
Merge pull request #193 from alicelogos/fix-tuple-pattern-syntax
Nikolai Kudasov
More...
11 months ago
Fix tuple pattern syntax
Alice Logos
More...
11 months ago
Merge pull request #191 from alicelogos/fix-tuple-patterns
Nikolai Kudasov
More...
12 months ago
Fix tuple patterns in parameter declarations
Alice Logos
More...
12 months ago
Merge branch 'release-v0.7.5' into develop
Nikolai Kudasov
More...
about 1 year ago
Bump version and update changelog
Nikolai Kudasov
More...
about 1 year ago
Merge pull request #188 from rzk-lang/186-update-deps
Nikolai Kudasov
More...
about 1 year ago
Support newer lsp
Nikolai Kudasov
More...
about 1 year ago
Merge pull request #184 from rzk-lang/fix-ci
Nikolai Kudasov
More...
over 1 year ago
Switch to macos-12 (since macos-latest does not have Stack yet)
Nikolai Kudasov
More...
over 1 year ago
Merge pull request #183 from geffk2/syntax-sugar-sigma-types
Nikolai Kudasov
More...
over 1 year ago
Merge branch 'develop' into syntax-sugar-sigma-types
Nikolai Kudasov
More...
over 1 year ago
Update all actions
Nikolai Kudasov
More...
over 1 year ago
Made naming consistent for Sigma Tuples
geffk2
More...
over 1 year ago
Added tuple patterns
geffk2
More...
over 1 year ago
Merge pull request #181 from geffk2/fix-aarch64-darwin-build
Nikolai Kudasov
More...
over 1 year ago
Added lsp tokenization
geffk2
More...
over 1 year ago
Added ASCII and Unicode rules
geffk2
More...
over 1 year ago
Support tuple patterns (desugared to left-associative nested pairs)
Nikolai Kudasov
More...
over 1 year ago
Corrected overlapping rule
geffk2
More...
over 1 year ago
Implemented syntactic sugar for nested sigma types
geffk2
More...
over 1 year ago
←
1
2
3
4
5
6
7
8
9
…
26
27
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree