Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: updated progress tracker #247

Merged
merged 1 commit into from
Jan 13, 2025
Merged

chore: updated progress tracker #247

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
115 changes: 100 additions & 15 deletions Manual.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -156,14 +156,37 @@ file := some "the-index"
:::progress
```namespace
List
Int
IntCast
Function
Functor Applicative Monad Pure Bind Seq SeqLeft SeqRight
MonadState MonadStateOf StateT StateM
MonadReader MonadReaderOf ReaderT ReaderM
MonadExcept MonadExceptOf ExceptT Except
MonadFunctor MonadFunctorT
MonadControl MonadControlT
MonadLift MonadLiftT
Ord
Ordering
Functor
Applicative
Monad
Pure
Bind
Seq
SeqLeft
SeqRight
MonadState
MonadStateOf
StateT
StateM
MonadReader
MonadReaderOf
ReaderT
ReaderM
MonadExcept
MonadExceptOf
ExceptT
Except
MonadFunctor
MonadFunctorT
MonadControl
MonadControlT
MonadLift
MonadLiftT
OptionT
StateRefT'
StateCpsT
Expand All @@ -176,18 +199,80 @@ ForM
ForIn
ForInStep
ForIn'
EStateM EStateM.Result EStateM.Backtrackable
String Char Nat Lean.Elab.Tactic Array Subarray IO IO.FS System System.FilePath IO.Process IO.FS.Stream ST IO.Error IO.FS.Stream.Buffer IO.FS.Handle
IO.Process.SpawnArgs IO.Process.Output IO.Process.Child IO.Process.StdioConfig IO.Process.Stdio IO.Ref ST.Ref IO.FS.Metadata IO.FS.DirEntry EIO BaseIO
IO.FileRight IO.FS.Stream Task Task.Priority Unit PUnit
Bool Decidable
EStateM
EStateM.Result
EStateM.Backtrackable
String
Char
Nat
Lean.Elab.Tactic
Array
Subarray
IO
IO.FS
System
System.FilePath
IO.Process
IO.FS.Stream
ST
IO.Error
IO.FS.Stream.Buffer
IO.FS.Handle
IO.Process.SpawnArgs
IO.Process.Output
IO.Process.Child
IO.Process.StdioConfig
IO.Process.Stdio
IO.Ref
ST.Ref
IO.FS.Metadata
IO.FS.DirEntry
EIO
BaseIO
IO.FileRight
IO.FS.Stream
Task
Task.Priority
Unit
PUnit
Bool
Decidable
System.Platform
PLift ULift Subtype Option List
PLift
ULift
Subtype
Option
List
USize
UInt8 UInt16 UInt32 UInt64
UInt8
UInt16
UInt32
UInt64
ISize
Int8 Int16 Int32 Int64
Int8
Int16
Int32
Int64
Fin
Option
List
Prod
PProd
MProd
Sum
PSum
Sigma
Subtype
Thunk
_root_
BitVec
Float
Empty
Quotient
Quot
Setoid
Squash
Subsingleton
```

```exceptions
Expand Down
2 changes: 1 addition & 1 deletion lake-manifest.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
"type": "git",
"subDir": null,
"scope": "",
"rev": "7e93d5b3dd3d083e7824a7559cd8a8dec49265bc",
"rev": "973eb19cffaf09731f1a8d24d36819687a06f251",
"name": "verso",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
Expand Down
Loading