Repository navigation

feat(Foundations/Order): results on `OrderHom.{prev/next}Fixed` - #1215

Merged

thomaskwaring merged 3 commits into

mainfrom

thomaskwaring/fixed-point

Nov 12, 2026

Merged

feat(Foundations/Order): results on `OrderHom.{prev/next}Fixed`#1215
thomaskwaring merged 3 commits into
mainfrom
thomaskwaring/fixed-point

Commits on Nov 12, 2026
- fixpoint api
  twwar
  committed
  384a905
- mk_all
  twwar
  committed
  7c6f3e8
- Apply batched suggestions from code review
  
  thomaskwaring
  and
  fmontesi
  authored
  10ea030