Skip to content

fixing a few typos found while reviewing notes

pransrin requested to merge pransrin/scribed-notes:main into main

Forgot to actually switch succ and rec in definition of NNO, also changed eta rule to use the same formatting as other rules

Merge request reports