Post #2766024
2026-05-12 18:51 UTC
@neauoire@merveilles.town So far I found out it fits in with lambda calculus! am now wondering if it'd fit in with ML/homotopy type theory!!!
Replies (1)
-
@neauoire@merveilles.town 2026-05-12 18:53
@gimmechocolate@bark.lgbt it does! but being linear, you'll see pretty fast how it falls short, especially if you need multiple bindings or copies of things. There's very little exploration in IN-native, not necessarily LC-brained, nets in the current literature. I'm curious to see what you find going down the homotopy road.