Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Generalize previous commit to also cover 'guessPriority' in the same way (details)
  2. No, record constructor names in second argument of 'guess' are not redundant (details)
  3. Distinguish between continuous-time and discrete-time syntactic sugar (details)
Commit 20655390aadef99173f5a9b3130f3e726a1f95ee by Tidefelt Henrik
Generalize previous commit to also cover 'guessPriority' in the same way
The file was modified RationaleMCP/0031/differences.md (diff)
Commit 509ccf38e2d530b2e87f2aae5712d5c157fcc0a4 by Tidefelt Henrik
No, record constructor names in second argument of 'guess' are not redundant
The file was modified RationaleMCP/0031/differences.md (diff)
Commit 7000abda3958f97b882fce32e4747a8b2bbc3faa by Tidefelt Henrik
Distinguish between continuous-time and discrete-time syntactic sugar
The file was modified RationaleMCP/0031/differences.md (diff)