Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mstdn.in.th/users/veer66/statuses/114251614361732088">veer66 (veer66@mstdn.in.th)'s status on Monday, 07-Apr-2025 01:40:48 JST</a><a href="https://mstdn.in.th/@veer66" title="veer66@mstdn.in.th"><img src="https://gnusocial.jp/avatar/174073-48-20230919182604.webp" width="48" height="48" alt="veer66" style="position: absolute; left: 0; top: 0;">veer66</a><div><a href="https://mstdn.in.th/@veer66/114251569207478248" rel="in-reply-to">in reply to</a><ul><li></ul></div></section><article><p><a href="https://fedia.social/@notclacke">@notclacke</a> However, the definition of "bound" is quite straightforward:</p><p>"The variables occurring in the list of variables of a λ-expression are dummy<br>or bound, ..."</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/4816523#notice-9508363">In conversation</a><time datetime="2025-04-07T01:40:48+09:00" title="Monday, 07-Apr-2025 01:40:48 JST">about 12 days ago</time> <span>from <span><a href="https://mstdn.in.th/@veer66/114251614361732088" rel="external" title="Sent from mstdn.in.th via ActivityPub">mstdn.in.th</a></span></span><a href="https://mstdn.in.th/@veer66/114251614361732088">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
veer66 (veer66@mstdn.in.th)'s status on Monday, 07-Apr-2025 01:40:48 JSTveer66
in reply to
- clacke@libranet.de is my main
@notclacke However, the definition of "bound" is quite straightforward:
"The variables occurring in the list of variables of a λ-expression are dummy
or bound, ..."
In conversationabout 12 days ago from mstdn.in.thpermalink

Public

Embed Notice

HTML Code

Corresponding Notice