R

rzk

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 12, 2024 — Nov 12, 2025 Showing page 12 of 28 Search / Filter on:
Fix eta-rule again (works, but might not be complete)	Nikolai Kudasov	More...				about 2 years ago
Fix eta-rule for product cubes	Nikolai Kudasov	More...				about 2 years ago
Stop generating ill-typed LEM instances for topes	Nikolai Kudasov	More...				about 2 years ago
Merge branch 'release-v0.5.6' into develop	Nikolai Kudasov	More...				about 2 years ago
Bump version and update changelogs	Nikolai Kudasov	More...				about 2 years ago
Fix glob path order	Nikolai Kudasov	More...				about 2 years ago
Merge branch 'release-v0.5.5' into develop	Nikolai Kudasov	More...				about 2 years ago
Bump version and update changelogs	Nikolai Kudasov	More...				about 2 years ago
Merge pull request #85 from rzk-lang/fix-subshape-definitions	Nikolai Kudasov	More...				about 2 years ago
Merge pull request #83 from rzk-lang/glob-expansion	Nikolai Kudasov	More...				about 2 years ago
Fix handling of subshapes (more type errors!)	Nikolai Kudasov	More...				about 2 years ago
Throw an exception when glob returns an empty list	Nikolai Kudasov	More...				about 2 years ago
Update rzk.nix	Nikolai Kudasov	More...				about 2 years ago
Install and use the glob library	Abdelrahman Abounegm	More...				about 2 years ago
Merge pull request #82 from aabounegm/utf8	Nikolai Kudasov	More...				about 2 years ago
Use CPP in Main.hs	Nikolai Kudasov	More...				about 2 years ago
Remove executable from rzk.nix	Nikolai Kudasov	More...				about 2 years ago
Do not remove rzk.cabal when building with GHCJS	Nikolai Kudasov	More...				about 2 years ago
Remove hpack and with-utf8 from nix files completely	Nikolai Kudasov	More...				about 2 years ago
Do not use hpack for the GHCJS build	Nikolai Kudasov	More...				about 2 years ago
Conditionally depend on with-utf8, only for executable	Nikolai Kudasov	More...				about 2 years ago
Update rzk.nix	Nikolai Kudasov	More...				about 2 years ago
Install and use the "with-utf8" package	Abdelrahman Abounegm	More...				about 2 years ago
Update site_name in mkdocs.yml	Nikolai Kudasov	More...				about 2 years ago
Merge pull request #80 from rzk-lang/build-tools-alex-happy	Nikolai Kudasov	More...				about 2 years ago
Add alex and happy to dependencies	Nikolai Kudasov	More...				about 2 years ago
Merge pull request #79 from rzk-lang/configure-mkdocs-plugin-rzk	Nikolai Kudasov	More...				about 2 years ago
Configure mkdocs-plugin-rzk	Nikolai Kudasov	More...				about 2 years ago
Implement displaying error messages as diagnostics	Abdelrahman Abounegm	More...				about 2 years ago
Disable the hover handler temporarily	Abdelrahman Abounegm	More...				about 2 years ago

←
1
2
…
8
9
10
11
12
13
14
15
16
…
27
28
→