-
Notifications
You must be signed in to change notification settings - Fork 12
Pull requests: IntersectMBO/formal-ledger-specifications
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Naming of mapPartial (unchanged, but note added)
#460
opened Jun 7, 2024 by
williamdemeo
Loading…
3 tasks done
Explain how deposits are transitioned into the new system
#459
opened Jun 7, 2024 by
WhatisRT
Loading…
3 tasks done
Added a helper script for bumping the executable spec repo
#388
opened Apr 9, 2024 by
Soupstraw
Loading…
3 tasks
Vertical vectors in LaTeX: script to postprocess agda generated tex files
#373
opened Feb 21, 2024 by
williamdemeo
Loading…
3 tasks done
PDF cleanup 282: hide use of
open for records in pdf
#364
opened Feb 14, 2024 by
williamdemeo
Loading…
3 tasks done
PDF cleanup 282: remove
uncurry from code appearing in pdf
#358
opened Feb 9, 2024 by
williamdemeo
•
Draft
3 tasks
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.