Palaiologos
menu
About me
Discord server
Donations
About me
Discord server
Donations
SK(I) calculus reduction in asm2bf - Part 1
2021-10-31
:: Palaiologos
#
asm2bf
#
SKI
#
combinator-calculus
#
APL
Writing and optimising a SK calculus reductor in asm2bf.
Read more →
Combinator calculus - a lab notebook
2021-06-17
:: Palaiologos
#
c
#
perl
#
combinator-calculus
#
mathematics
#
cs
A writeup on my passion for combinator calculus.
Read more →
