Tags:
article
doodle
erlang
fanart
illustration
impression
language-processor
latex
lettering
logotype
multi-stage-programming
promare
record-calculus
satysfi
sesterl
slides
stadt-tokio
tex
type-inference
type-system
typesetting
Be a Documentation Geek
(No translation has been available yet; only Japanese version is provided.)Language Design for Unit Testing
(No translation has been available yet; only Japanese version is provided.)Implementing a Virtual Machine in TeX that Runs Untyped Lambda Terms
This article introduces tex_of_ocaml
1, a half-joking OSS I developed. Readers are supposed to be somewhat familiar with untyped lambda calculi.
First appearance (written in Japanese):
- Dec 9, 2020. TeX言語で型なしλ計算を評価するVMを書いた話 - Qiita
A Type System of Labeled Optional Parameters for SATySFi v0.1.0
I am in the process of changing the language design for SATySFi v0.1.0 about optional parameters. It will be a breaking change (i.e. not backward compatible with SATySFi v0.0.x), and I will introduce it here.
First appearance:
- Dec 30, 2021. SATySFi Wiki (written in Japanese)