R

rzk

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 18 hours ago. based on code collected about 19 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 16, 2024 — Nov 16, 2025 Showing page 11 of 28 Search / Filter on:
Add rzk.yaml to specify files to check	Nikolai Kudasov	More...				about 2 years ago
Do not depend on lsp and lsp-types with GHCJS	Nikolai Kudasov	More...				about 2 years ago
Update rzk.nix	Nikolai Kudasov	More...				about 2 years ago
Cache well-typed modules even in presence of type errors in other modules	Nikolai Kudasov	More...				about 2 years ago
Slightly improve rzk.yaml error/warning	Nikolai Kudasov	More...				about 2 years ago
Support incremental typechecking with in-memory cache of well-typed modules	Nikolai Kudasov	More...				about 2 years ago
Invalidate cache for all files after the first modified file	Nikolai Kudasov	More...				about 2 years ago
Use file watcher to invalidate cache for typechecked files	Nikolai Kudasov	More...				about 2 years ago
Merge branch 'basic-incremental-typechecking' into lsp	Nikolai Kudasov	More...				about 2 years ago
Sketch cache implementation	Nikolai Kudasov	More...				about 2 years ago
Add line location to errors	Nikolai Kudasov	More...				about 2 years ago
Add rzk.nix back (generated manually via cabal2nix --compiler ghcjs)	Nikolai Kudasov	More...				about 2 years ago
Revert back to calling cabal2nix from the workflow	Nikolai Kudasov	More...				about 2 years ago
Remove rzk.nix	Nikolai Kudasov	More...				about 2 years ago
Try using callCabal2nix in try-rzk/default.nix instead	Nikolai Kudasov	More...				about 2 years ago
Use cabal2nix --compiler ghcjs to generate rzk.nix for GHCJS	Nikolai Kudasov	More...				about 2 years ago
Add a handler for typechecking all files in config	Abdelrahman Abounegm	More...				about 2 years ago
Define a Yaml schema for our config file	Abdelrahman Abounegm	More...				about 2 years ago
Merge pull request #91 from rzk-lang/better-section-parsing	Nikolai Kudasov	More...				about 2 years ago
Improve error messages for unclosed #section and extra #end	Nikolai Kudasov	More...				about 2 years ago
Add typecheckModulesWithLocationIncremental	Nikolai Kudasov	More...				about 2 years ago
Add the filepath package for processing paths	Abdelrahman Abounegm	More...				about 2 years ago
Simplify getting the text in "didSave" handler	Abdelrahman Abounegm	More...				about 2 years ago
Run the autoformatter	Abdelrahman Abounegm	More...				about 2 years ago
Add an empty handler for "didChangeWatchedFiles"	Abdelrahman Abounegm	More...				about 2 years ago
Request including the text in save events	Abdelrahman Abounegm	More...				about 2 years ago
Return typechecked declarations in the main functions	Nikolai Kudasov	More...				about 2 years ago
Merge branch 'release-v0.5.7' into develop	Nikolai Kudasov	More...				about 2 years ago
Bump version and update changelogs	Nikolai Kudasov	More...				about 2 years ago
Merge pull request #88 from rzk-lang/fix-topes-LEM-eta	Nikolai Kudasov	More...				about 2 years ago

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