search

david-davies / typst-prooftree

MIT License
6 stars 1 forks source link

Not working Readme example in the Typst App #3

Open pauladam94 opened 9 months ago

pauladam94 commented 9 months ago 
#import "@preview/prooftrees:0.1.0"

#prooftree.tree(
    prooftree.axi[$A => A$],
    prooftree.uni[$A => A, B$]
)

This example is not working in the Typst Web App. (the prooftree function is not found). Which version of the code is in the Typst package manager ? I am interested in helping in the project because I will using a lot this year. (I come from latex and was using the "mathpartir" package which kind of the industry standard for doing this kind for article with proof tree). I can do something if it can help.

pauladam94 commented 5 months ago

This repo seems not to be maintained anymore. Look at curryst the package that does inference tree as well that is actively maintained.