Final tutorial sys

[reevafaisal]

No description provided.

[facundoy]

Known bug: evaluation of the YourImplementation editor is incorrect.
I think that there may some issues with the stitching but not 100% sure.
Tutorial edits not being saved + unable to highlight multiple lines on editor

NOTES:

• Need to specify tutorial module names when stitching in order to set wrapper to true or false since we will only need the wrapper for specific exercises

[reevafaisal]

So in my last commit when I said local, I meant global.

BUG:
Also I noticed there is a bug in the boolean exercise. Appears that whenever you type, based on the movements of the cursor the table appears to dissapear and reappear. Since we just added the new exercises in, we need to make sure it works with the widget.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 2 lines in your changes missing coverage. Please review.

Project coverage is 46.30%. Comparing base (39a4043) to head (7b3afea).

Files with missing lines	Patch %	Lines
src/haz3lcore/lang/term/TermBase.re	0.00%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              dev    #1468      +/-   ##
==========================================
+ Coverage   46.28%   46.30%   +0.02%     
==========================================
  Files         126      126              
  Lines       13991    13993       +2     
==========================================
+ Hits         6476     6480       +4     
+ Misses       7515     7513       -2     

Files with missing lines	Coverage Δ
src/haz3lcore/statics/Elaborator.re	74.80% <ø> (+0.06%)	⬆️
src/haz3lcore/lang/term/TermBase.re	54.38% <0.00%> (-0.11%)	⬇️

... and 3 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[reevafaisal]

Based on the print statements, it seems like there is a constant recursion over label in the normalize function. Im not sure where exactly the bug lies but it seems like it is not able to detect that the expression is incomplete.

[cyrus-]

• previous button on all slides
• get rid of checkmark animation, make it smaller and think about styling of the three buttons at the bottom (same size maybe?)
• fix crash on clicking previous button or next button when that goes out of bounds
• newlines in slide text
• make the hint an option rather than required
• hover message over the info button

[cyrus-]

• instructions for creating new tutorials