16 Pull requests merged by 1 person

• Fix Fulminate messages

  #260 merged Mar 29, 2025

• Avoid typeclass issues with names

  #259 merged Mar 27, 2025

• Better error messages for nonempty Names

  #258 merged Mar 27, 2025

• Provide a simple way of specifying non-empty Text values

  #257 merged Mar 27, 2025

• Various improvements to form orchestration

  #256 merged Mar 27, 2025

• Tidy up multiline extension methods

  #255 merged Mar 26, 2025

• Improvements to Legerdemain

  #254 merged Mar 26, 2025

• Prefer method signatures on single lines

  #253 merged Mar 26, 2025

• Changed various two-word names in Quantitative

  #252 merged Mar 25, 2025

• Name all givens

  #251 merged Mar 25, 2025

• Improvements to Legerdemain form rendering

  #249 merged Mar 25, 2025

• Remember to export orchestrate

  #248 merged Mar 25, 2025

• Use lower-case type parameters everywhere

  #247 merged Mar 24, 2025

• Improve orchestration

  #246 merged Mar 24, 2025

• Eliminate some unused imports

  #245 merged Mar 24, 2025

• Fix Legerdemain validation

  #244 merged Mar 24, 2025

2 Issues closed by 1 person

• Give names to all `given`s

  #250 closed Mar 27, 2025

• Experiment with new type parameter naming

  #218 closed Mar 25, 2025

1 Issue opened by 1 person

• Use `summonFrom` to prioritize "lemma" `given`s

  #261 opened Mar 30, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Improve introductory text

  #171 commented on Mar 24, 2025 • 0 new comments