mirror of
https://github.com/wassname/jaxtyping.git
synced 2026-08-22 12:10:18 +08:00
Also added support for matching dtypes using regexes, and for nesting e.g. Shaped[Float[Array, "dim1 dim2"], "dim3"].
21 lines
750 B
HTML
21 lines
750 B
HTML
{% import "partials/language.html" as lang with context %}
|
|
<a href="{{ config.repo_url }}" title="{{ lang.t('source.link.title') }}" class="md-source" data-md-component="source">
|
|
<div class="md-source__icon md-icon">
|
|
{% set icon = config.theme.icon.repo or "fontawesome/brands/git-alt" %}
|
|
{% include ".icons/" ~ icon ~ ".svg" %}
|
|
</div>
|
|
<div class="md-source__repository">
|
|
{{ config.repo_name }}
|
|
</div>
|
|
</a>
|
|
{% if config.theme.twitter_url %}
|
|
<a href="{{ config.theme.twitter_url }}" title="Go to Twitter" class="md-source">
|
|
<div class="md-source__icon md-icon">
|
|
{% include ".icons/fontawesome/brands/twitter.svg" %}
|
|
</div>
|
|
<div class="md-source__repository">
|
|
{{ config.theme.twitter_name }}
|
|
</div>
|
|
</a>
|
|
{% endif %}
|