pijul nest
guest › [sign in] [explore]
{/} code [~] changes [>] discussions [*] jobs

Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.
question
simple semantic actions
Created by ASyup1sFA6RHRt1eiA7r9GjM4yfCcpqSdJ8BVbYpaLK3 on Apr 11, 2022, 12:33 AM
B6KELGLBIEF7P6CSSV4EMAO543CYFXNXICNWCZMDCF5W2NOS7SJQC
State: FX3ZC5CP6AQTFV3VPWJTPZKXQVYTKAXEZFLVXUHIW2OXI55CFECAC
question
2-presheaves for disambiguating?
Created by ASyup1sFA6RHRt1eiA7r9GjM4yfCcpqSdJ8BVbYpaLK3 on Apr 10, 2022, 9:32 PM
DPX4J2SS2HPH6GR4MALYCLRQL2NTDIQA5PCSAW5PPVURGRMSWSUQC
State: YYTH7MCWH7WICS2P3VKUZBJYF3BTQIRMXGCRLETBX7OZSOAOTUOAC
question
Description of the category of constructive languages
Created by ASyup1sFA6RHRt1eiA7r9GjM4yfCcpqSdJ8BVbYpaLK3 on Mar 23, 2022, 7:18 PM
CU7QZBJCPRMIJIGVAV4MVOCTT4ZTJZZAKBGTBXNHJSGAREAR4YCAC
State: PRX5N3MAQE26TGKR4AZV53NBBZ6PCISIMC77EKNCWZDY7YP4CR2AC
State: ALBRZ5SZPVFPTULXHVPIF7WTZ5YJIPVCU552DBLHMRBGPJADYTLAC