Sofia Rodrigues

In order to check empty types faster.

Currently the coverage checker does not check indices

- branch experimental into kind-driver crate - api to create commands for repl - control c twice to leave or control d - auto complete on tab - a banner...

Some files have tabs instead of spaces

1

Some files in the Algebra folder are using tabs instead of spaces in some lines.

feat: add date and time functionality

7

This PR introduces date and time functionality to the Lean 4 Std. It's not complete yet and I need to implement some these things: - [x] Implement parsing for various...

feat: adds a simple `Http` library to `Std`

13

This PR adds a simple `Http` library to `Std`.

feat: introduce `CancellationContext` type for cancellation with context propagation

2

This PR adds the `Context` type for cancellation with context propagation. It works by storing a tree of forks of the main context, providing a way to control cancellation.

feat: http client for the http library

2

This PR adds a simple HTTP client for the HTTP library.