R

rzk

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 24 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Dec 14, 2024 — Dec 14, 2025 Showing page 1 of 28 Search / Filter on:
Merge branch 'release-v0.7.7' into develop	Nikolai Kudasov	More...				about 1 month ago
Bump version and update changelog	Nikolai Kudasov	More...				about 1 month ago
Merge pull request #207 from rzk-lang/fix-subtyping-Pi-types	Nikolai Kudasov	More...				about 1 month ago
Merge branch 'develop' into fix-subtyping-Pi-types	Nikolai Kudasov	More...				about 1 month ago
Fix subtyping for AppT (do not assume variance of the argument)	Nikolai Kudasov	More...				about 1 month ago
Merge pull request #205 from rzk-lang/fix-cabal	Nikolai Kudasov	More...				4 months ago
Add version bounds for successful Hackage upload	Nikolai Kudasov	More...				4 months ago
Merge branch 'release-v0.7.6' into develop	Nikolai Kudasov	More...				4 months ago
Bump version and update changelog	Nikolai Kudasov	More...				4 months ago
Merge pull request #201 from rzk-lang/fix-200	Nikolai Kudasov	More...				4 months ago
Update from macos-12 to macos-13 and macos-latest runners	Nikolai Kudasov	More...				4 months ago
Enable DeriveDataTypeable to work around a minor bug in BNFC 2.9.6 (fix #200)	Nikolai Kudasov	More...				4 months ago
Make refl symmetric and fix inferAs->typecheck	Nikolai Kudasov	More...				9 months ago
Fix subtyping for Sigma-types and leave comments for simingly excessive checks	Nikolai Kudasov	More...				10 months ago
Separate subtype checking for tope families and Pi-types	Nikolai Kudasov	More...				10 months ago
Merge pull request #194 from dannypsnl/patch-1	Nikolai Kudasov	More...				about 1 year ago
fix typo	Lîm Tsú-thuàn	More...				about 1 year ago
Merge pull request #193 from alicelogos/fix-tuple-pattern-syntax	Nikolai Kudasov	More...				about 1 year ago
Fix tuple pattern syntax	Alice Logos	More...				about 1 year ago
Merge pull request #191 from alicelogos/fix-tuple-patterns	Nikolai Kudasov	More...				about 1 year ago
Fix tuple patterns in parameter declarations	Alice Logos	More...				about 1 year ago
Merge branch 'release-v0.7.5' into develop	Nikolai Kudasov	More...				over 1 year ago
Bump version and update changelog	Nikolai Kudasov	More...				over 1 year ago
Merge pull request #188 from rzk-lang/186-update-deps	Nikolai Kudasov	More...				over 1 year ago
Support newer lsp	Nikolai Kudasov	More...				over 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

←
1
2
3
4
5
6
7
8
9
…
27
28
→