我々の TDPE: 例
= reify(?f. ?n. f @? (n +? (1 +? 2)))
Previous slide
Next slide
Back to first slide
View graphic version