search

andrew-johnson-4 / lambda-mountain

Compact Portable Assembler (5K SLOC)
MIT License
12 stars 0 forks source link

GC Wrappers for Super-Large Fields #446

Open andrew-johnson-4 opened 4 weeks ago

andrew-johnson-4 commented 4 weeks ago 
type XY (XY( XY XY )) | X | Y;

The infinite recursion can be replaced with implicit indirection: