Post #2766023
2026-05-12 02:24 UTC
@gimmechocolate@bark.lgbt lemme know if you have any questions :) Here's a little playground if you want to test some nets:
https://inets.t6.dev/#0PYVwLgUGBOIKYAIC8CAUqCGCBGBKNWeuEEcAHjBgMZjJrqIBU+ADvqom8eZTXajHgJQYYkA
Replies (1)
-
@gimmechocolate@bark.lgbt 2026-05-12 18:51
@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!!!