A Report on the Development Progress of SATySFi v0.1.0

(last modified: )

slides programming language SATySFi typesetting type system multi-stage programming
PDF

(Only a Japanese version is provided)

Related: SATySFi Conf 2022