Add typst

main
xenia 2023-12-11 20:07:09 +01:00
parent 821ae5cee4
commit 5677dd5274
1 changed files with 1 additions and 0 deletions

View File

@ -36,6 +36,7 @@ in rec {
(extras.challtools ps)
]))
( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
typst
# jupyter
# nodePackages.typescript