A small language built on untyped lambda calculus
Developments
1
recorded by Ansar
Sources linked
one identity across all of them
Measurements
2
each with its evidence label
First seen
2d ago
latest 2d ago
A small language built on untyped lambda calculus.