*ALWAYS UNDER CONSTRUCTION*
Lambda Mosaic
@doi
https://youtu.be/61fcUMadkfM?si=v266vfnJy1776mVm[↗]모자이크로 람다칼큘러스 시각화?
@doi
https://github.com/baskerville/bspwm[↗]
@doi
@doi
https://en.wikipedia.org/wiki/Treemapping[↗]
@doi
문제점: 뒤에서 부터 읽어서 그려야함
@doi
Lambda calculus의 데이터 구조: 2진 트리 + 노드{id: str, is_abst: bool, pos: bin}
@doi
https://tromp.github.io/cl/diagrams.html[↗]람타 칼큘러스는 binary-tree로 분석될 수 있다
@doi
Binary-tree 시각화는 모두 lambda calculus를 표현할 수 있다
@doi
그중 내 2차원 방식이 bsp를 우연히 emerge 하게 된것
@doi
Vibe coding으로 construction까지는 됐는데
@doi
내가 바이브 코딩 스킬이 없어서 beta reduction을 못해
@doi
가능하다는 걸 알았으니
@doi
처음부터 혼자 만들어야지