Skip to content

feat: describe Async #866

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

Open
david-christiansen wants to merge 6 commits into
base: main
Choose a base branch
from
Open

feat: describe Async #866

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
0e41672
feat: describe Async
david-christiansen Jun 12, 2026
a600dd3
example imports and opens
david-christiansen Jun 18, 2026
d64653e
Better URL
david-christiansen Jun 18, 2026
18acc60
terms for veil
david-christiansen Jun 19, 2026
2bfd851
one more term
david-christiansen Jun 19, 2026
22fca31
terms
david-christiansen Jun 22, 2026
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
13 changes: 13 additions & 0 deletions .vale/styles/config/ignore/terms.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,11 +27,14 @@ codomain's
codomains
combinator
combinators
connectionless
constructorless
conv
cumulative
cumulativity
cutsat
datagram
datagrams
decide_cbv
deallocate
deallocated
Expand Down Expand Up @@ -127,6 +130,7 @@ monomorphic
monomorphism
morphism
morphisms
multicast
multipattern
multipatterns
multiset
Expand Down Expand Up @@ -169,12 +173,17 @@ quotiented
recursor
recursor's
recursors
reinvoke
reinvoked
Repr
sandboxed
satisfiability
scrutinee
scrutinees
se
selectable
selectables
selectable's
semigroup
semireducible
semiring
Expand All @@ -189,6 +198,7 @@ simps
subcommand
subcommand's
subcommands
subcomputation
subarray
subarrays
subexpression
Expand Down Expand Up @@ -226,6 +236,9 @@ unfoldings
uninstantiated
unknownIdentifier
unparenthesized
unregister
unregisters
unregistering
uploader
upvote
VC
Expand Down
3 changes: 3 additions & 0 deletions Manual/IO.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ import Manual.IO.Console
import Manual.IO.Files
import Manual.IO.Threads
import Manual.IO.Ref
import Manual.IO.Async

open Manual
open Verso.Genre
Expand Down Expand Up @@ -531,3 +532,5 @@ There are 90 four-digit palindromes.
{docstring IO.getRandomBytes}

{include 0 Manual.IO.Threads}

{include 0 Manual.IO.Async}
Loading
Loading