_ _ _ _ _
/\ \ /\ \ /\ \ /\_\ / /\
\_\ \ / \ \\ \ \ / / / / / \
/\__ \ / /\ \ \\ \ \_/ / / / / /\ \__
/ /_ \ \ / / /\ \ \\ \___/ / / / /\ \___\
/ / /\ \ \ / / / \ \_\\ \ \_/ \ \ \ \/___/
/ / / \/_// / / / / / \ \ \ \ \ \
/ / / / / / / / / \ \ \ _ \ \ \
/ / / / / /___/ / / \ \ \ /_/\__/ / /
/_/ / / / /____\/ / \ \_\\ \/___/ /
\_\/ \/_________/ \/_/ \_____\/
Enter the query into the form above.
API method:
GET /api/symbols?search=hello&page=1&limit=20
where search is your query, page is a page number and limit is a number of items on a single page. Pagination information (such as a number of pages and etc) is returned
in response headers.
If you'd like to join our channel search send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.
bytevector->base16-string (bv)Documentation: Return the hexadecimal representation of BV's contents.
base16-string->bytevectorDocumentation: Return the bytevector whose hexadecimal representation is string S.
invalid-base32-character? base32-string->bytevectorDocumentation: Return the binary representation of base32 string S as a bytevector.
bytevector->base32-stringDocumentation: Return a base32 encoding of BV using BASE32-CHARS as the alphabet.
nix-base32-string->bytevectorDocumentation: Return the binary representation of base32 string S as a bytevector.
bytevector->nix-base32-stringDocumentation: Return a base32 encoding of BV using BASE32-CHARS as the alphabet.
invalid-base32-character-string bytevector-quintet-length (bv)Documentation: Return the number of quintets (including truncated ones) available in BV.
invalid-base32-character-value &invalid-base32-character get-delimited-base64 (port) base64-encode (bv) | (bv start) | (bv start end) | (bv start end line-length) | (bv start end line-length no-padding) | (bv start end line-length no-padding alphabet) | (bv start end line-length no-padding alphabet port) base64-decode (str) | (str alphabet) | (str alphabet port) put-delimited-base64 (port type bv line-length) | (port type bv) agda-build (#:key inputs phases . args)Documentation: Build the given Agda package, applying all of PHASES in order.
Total public symbols: 43034