• Joined on 2024年04月04日
zyang pushed to main at zyang/linearity-lab 2026年06月20日 13:56:16 +02:00
af120501a9 Getting UnappendR back using some casts
zyang pushed to main at zyang/linearity-lab 2026年06月20日 12:59:29 +02:00
03c77d8116 Add SnocList and Queue (WIP)
f80172ad9e Comment out the inference of the right context from the whole context and the left context
Compare 2 commits »
zyang pushed to main at zyang/linearity-lab 2026年06月19日 14:50:00 +02:00
51b161b2cc Fix typo
zyang pushed to main at zyang/linearity-lab 2026年06月19日 14:48:46 +02:00
73bc7fb9d1 Fix a bug in act
d55eaae5ec Add semantics of CBPV in EM categories
Compare 2 commits »
zyang pushed to main at zyang/linearity-lab 2026年06月19日 02:37:26 +02:00
52a0b20e26 Add the CBN to CBPV embedding
zyang pushed to main at zyang/linearity-lab 2026年06月19日 02:02:18 +02:00
7ba967c826 Add syntax for CBPV
zyang pushed to main at zyang/linearity-lab 2026年06月18日 21:35:12 +02:00
c102cad8ac Add Adj and CoPow
zyang pushed to main at zyang/linearity-lab 2026年06月16日 20:45:42 +02:00
1fb84ff56a Update README
zyang pushed to main at zyang/linearity-lab 2026年06月16日 15:46:02 +02:00
acb23765c8 Small refactoring
zyang pushed to main at zyang/linearity-lab 2026年06月16日 15:25:29 +02:00
f8e642a04a Finish refactoring
zyang pushed to main at zyang/linearity-lab 2026年06月16日 12:57:29 +02:00
0f963a2e32 Change README
zyang renamed repository from lnl-functors to zyang/linearity-lab 2026年06月16日 12:51:28 +02:00
zyang pushed to main at zyang/linearity-lab 2026年06月16日 12:49:29 +02:00
5fbea1cb3b Create .cabal file
zyang pushed to main at zyang/linearity-lab 2026年06月16日 12:28:36 +02:00
f946eec5d4 Refactor LType
zyang pushed to main at zyang/linearity-lab 2026年06月15日 17:51:35 +02:00
180fb027bf Add an interpretation into ordinary types
zyang pushed to main at zyang/linearity-lab 2026年06月12日 17:03:58 +02:00
d5628ea83d Add a nicer interface for embed
zyang pushed to main at zyang/linearity-lab 2026年06月12日 15:17:40 +02:00
781a650171 Refactor linear connectives so that the primitive API do not have the fancy constraints
zyang pushed to main at zyang/linearity-lab 2026年06月12日 00:55:16 +02:00
33f7251fd3 Add cases
zyang pushed to main at zyang/fused-coproducts 2026年01月08日 22:52:45 +01:00
d4c891a7b6 Add absurd elimination
zyang created branch main in zyang/fused-coproducts 2026年01月08日 18:19:07 +01:00