max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Control
History
David Thrane Christiansen 599444e27e
doc: docstrings for Id (#7204) 
This PR adds docstrings for the `Id` monad.
2025-03-08 22:17:32 +00:00
..
Lawful chore: post-#7100 cleanup (#7196) 2025-02-23 22:46:22 +00:00
Basic.lean chore: post-#7100 cleanup (#7196) 2025-02-23 22:46:22 +00:00
EState.lean chore: snake-case attributes (part 2) 2022-10-19 09:28:08 -07:00
Except.lean chore: fix linter errors (#4502) 2024-06-19 18:24:08 +00:00
ExceptCps.lean chore: reduce usage of refine' (#5042) 2024-08-14 15:14:44 +00:00
Id.lean doc: docstrings for Id (#7204) 2025-03-08 22:17:32 +00:00
Lawful.lean feat: alignment of lemmas about monadic functions on List/Array/Vector (#6883) 2025-01-31 07:25:24 +00:00
Option.lean chore: fix linter errors (#4502) 2024-06-19 18:24:08 +00:00
Reader.lean chore: fix linter errors (#4502) 2024-06-19 18:24:08 +00:00
State.lean chore: fix linter errors (#4502) 2024-06-19 18:24:08 +00:00
StateCps.lean chore: reduce usage of refine' (#5042) 2024-08-14 15:14:44 +00:00
StateRef.lean chore: cleanup imports (#5825) 2024-10-23 23:51:13 +00:00