Tool. Use tr-agda to create literate agda card [tr-agda]
Tool. Use tr-agda to create literate agda card [tr-agda]
To create literate agda integration for tr-notes, I publish a new tool https://git.sr.ht/~dannypsnl/tr-agda, usage is
uv run tr-agda $(raco tr next ag)
You can provide title and taxon
uv run tr-agda $(raco tr next ag) --title [TITLE] --taxon [TAXON]
Feature. tr/card [tr-card]
Feature. tr/card [tr-card]
This is the final feature in the plan, which allows you write
@tr/card{
@title{Xxx}
@taxon{Feature}
@p{Some words......}
}
Which creates an immediate card in current card, let me demonstrate an instance:
Demonstration. A demonstration [local-0]
Demonstration. A demonstration [local-0]
Demonstrate tr/card
To be simple, this feature only allows metadata title and taxon, otherwise you must create a new file.
Use python livereload to create livereload server [tip-0000]
Use python livereload to create livereload server [tip-0000]
I also use the following approach
from livereload import Server, shell
server = Server()
server.watch('content/**/*.scrbl', shell('raco tr build'))
server.serve(root='_build', port=8000)
Code is very simple (because the work of livereload module), we simply watch scribble files in content/ directory, and serve at port 8000.
Break. Update syntax of mention form [mention-0000]
Break. Update syntax of mention form [mention-0000]
The usual way @mention{addr} still work, but link text part is different, the old one is
@mention[#:title "link text"]{addr}
Now must be
@mention["addr"]{link text}
This is because the following syntax only be parsed properly in this way, in scribble at-expr
@mention["addr"]{@m{S}}
Feature. tr/code [trcode]
Feature. tr/code [trcode]
@tr/code{...} is a new feature to help users create their own extension for card, for example, you can add math macro
@tr/code{#lang racket
(provide (all-defined-out))
(define RR "\\mathbb{R}")
}
Or use this to fetch cards you want to transclude:
@tr/code{
(require tr/metadata)
(define scrbl-list (find-files (lambda (x) (string-contains? (path->string (file-name-from-path x)) "guide")) "content"))
(define addr-list
(for/list ([path scrbl-list])
(compute-addr path)))
}
Then I can use @ol[@(for/list ([addr addr-list]) (li addr))] to list these addresses:
- guide-0000
- guide-0001
- guide-0002
- guide-0003
- guide-0004
- guide-0005
- guide-0006
- guide-0007
- guide-0008
- guide-0009
- guide-000A
The form can be placed as any top-level form, so you can have
@tr/code{...}
@p{...}
@tr/code{...}
But you must have #lang [language] line in the first @tr/code{...} to decide your language.
Feature. Typst backend [typst]
Feature. Typst backend [typst]
We support Typst as backend now, below are example:
@typst{
#set page(width: 10cm, height: 4.5cm, margin: 0.5cm)
$
nabla · bold(E) &= frac(rho, epsilon_0) \
nabla · bold(B) &= 0 \
nabla × bold(E) &= -frac(partial bold(B), partial t) \
nabla × bold(B) &= mu_0(bold(J) + epsilon_0 frac(partial bold(E), partial t))
$
}
@typst|{
#import "@preview/fletcher:0.5.8" as fletcher: diagram, node, edge
#set page(width: 8cm, height: 4cm, margin: 0.3cm)
#diagram(cell-size: 15mm, $
G edge(f, ->) edge("d", pi, ->>) & im(f) \
G slash ker(f) edge("ur", tilde(f), "hook-->")
$)
}|
Tool. bib2tr [bib2tr]
Tool. bib2tr [bib2tr]
A tool converts bib file to scribble cards, https://git.sr.ht/~dannypsnl/bib2tr.
Usage [local-0]
Usage [local-0]
Convert a BibTeX file to tr-notes format:
bib2tr -b bibliography.bib content/refs
Convert a DOI to tr-notes format:
bib2tr -D 10.1000/182 content/refs
Tool. html2scrbl [html2scrbl]
Tool. html2scrbl [html2scrbl]
A web tool to convert input HTML to scribble/html, https://dannypsnl.github.io/html2scrbl/.
Break. texfig now must manually assigns LaTeX header part [texfig-0000]
Break. texfig now must manually assigns LaTeX header part [texfig-0000]
Form @texfig{...} at before implicitly do
\usepackage{quiver}
\usepackage{tikz}
\usetikzlibrary{spath3, intersections, backgrounds}
for users, now they are removed. Hence you must write it out explicit
@texfig[#:header @"
\\usepackage{tikz}
\\usetikzlibrary{spath3, intersections, backgrounds}
"]{
...
}
The output Tex file you will get is
\documentclass[crop,dvisvgm]{standalone}
\usepackage{tikz}
\usetikzlibrary{spath3, intersections, backgrounds}
\begin{document}
...
\end{document}Policy of breaking changes [policy-0000]
Policy of breaking changes [policy-0000]
Since TR is a finished software (https://josem.co/the-beauty-of-finished-software/), every non-customize behaviour and already worked functions will not be removed, if you found your old cards stop working, reports to https://github.com/dannypsnl/tr/issues. I can't say there won't have any exceptions, but most problems should be counted as TR's bugs, and hence should be fixed.
Due to early experimental code, tikzcd and texfig is unstable.
The styling isn't belongs to above promise, I can only say I would avoid to touch them as possible. For example, recently I want to minimize table of content on mobile to improve UX, but except that, I will not change code of assets.
If a necessary breaking change is made, I will create a new post here that explain how to fix it.