max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Control
History
Leonardo de Moura 35d9589401 feat: add MonadControl m (OptionT m)
2021-09-19 14:20:26 -07:00
..
Basic.lean refactor: lazy evaluation for <|> 2021-09-07 17:06:10 -07:00
EState.lean chore: fix codebase and tests 2021-06-29 17:14:52 -07:00
Except.lean fix: add workaround to prevent code explosion at deriving for FromJson 2021-08-05 06:58:07 -07:00
ExceptCps.lean chore: remove old notation 2021-03-12 15:05:06 -08:00
Id.lean chore: enforce naming convention for theorems 2021-08-07 12:48:38 -07:00
Lawful.lean chore: fix proofs 2021-07-29 16:59:47 -07:00
Option.lean feat: add MonadControl m (OptionT m) 2021-09-19 14:20:26 -07:00
Reader.lean refactor: lazy evaluation for <|> 2021-09-07 17:06:10 -07:00
State.lean refactor: lazy evaluation for <|> 2021-09-07 17:06:10 -07:00
StateCps.lean chore: remove old notation 2021-03-12 15:05:06 -08:00
StateRef.lean feat: add Alternative (StateRefT' ω σ m) 2021-08-10 14:27:05 -07:00