Changes

#9 (Jun 8, 2021, 12:36:13 PM)

1. Generalize previous commit to also cover 'guessPriority' in the same way — Tidefelt Henrik / githubweb
2. No, record constructor names in second argument of 'guess' are not redundant — Tidefelt Henrik / githubweb
3. Distinguish between continuous-time and discrete-time syntactic sugar — Tidefelt Henrik / githubweb

#8 (Jun 8, 2021, 12:02:58 PM)

1. Elaborate on arrays and records in two argument form of 'guess' — Tidefelt Henrik / githubweb

#7 (Jun 8, 2021, 11:53:35 AM)

1. Note that record constructor names in second argument of 'guess' are redundant — Tidefelt Henrik / githubweb

#6 (Jun 8, 2021, 11:26:34 AM)

1. Make variant with array subscript applied outside guess operator — Tidefelt Henrik / githubweb

#5 (Jun 7, 2021, 11:53:13 PM)

1. Add discussion about ways to handle guess value prioritization — Tidefelt Henrik / githubweb

#4 (Jun 7, 2021, 10:50:46 PM)

1. Fix minor copy/paste error — Tidefelt Henrik / githubweb

#3 (Jun 7, 2021, 10:44:39 PM)

1. Remove stray words from sentence — Tidefelt Henrik / githubweb
2. Remove addressed "TODO" — Tidefelt Henrik / githubweb
3. Describe handling of heterogeneous modification of 'fixed' — Tidefelt Henrik / githubweb
4. Describe handling of homogeneous modification of 'fixed' — Tidefelt Henrik / githubweb

#2 (Apr 14, 2021, 9:59:10 PM)

1. Generalize use of 'each' to work for guess value parameters — Tidefelt Henrik / githubweb
2. Don't forget about 'nominal' — Tidefelt Henrik / githubweb