Missing Section 2 of K Tutorial #3410
Comments
|
@yiyi-wang-rv Can the website extractor be updated to include section 2 of the tutorial? |
h0nzZik
pushed a commit
to h0nzZik/k
that referenced
this issue
Jun 19, 2023
…untimeverification#3146) * haskell-backend/src/main/native/haskell-backend: 1ec3533ff - Remove eventlog2threadscope dependency (runtimeverification#3491) * Sync flake inputs to submodules * haskell-backend/src/main/native/haskell-backend: 410c1b6c6 - [runtimeverification#3410] Validate debug options (runtimeverification#3465) * Sync flake inputs to submodules * haskell-backend/src/main/native/haskell-backend: 567b909f1 - Fix output of check implication (version 2) (runtimeverification#3492) * Sync flake inputs to submodules * haskell-backend/src/main/native/haskell-backend: b74e9f8d5 - RPC server: add `add-module` endpoint (runtimeverification#3490) * Sync flake inputs to submodules * flake.nix: remove kore-prof * .github/workflows/update-deps: also run nix flake update --------- Co-authored-by: rv-jenkins <devops@runtimeverification.com> Co-authored-by: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The first lesson of the K Tutorial - Intermediate section is already available on our repository but not on our webpage. So, we'll need to create a section for this second chapter and add the first lesson there. Further, lessons will be written later and should be updated incrementally.
The text was updated successfully, but these errors were encountered: