search

andrew-johnson-4 / lambda-mountain

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

Annotate Fields on Tagged Types #452

Closed andrew-johnson-4 closed 3 weeks ago

andrew-johnson-4 commented 4 weeks ago 
Fields<Cons<Cons<Nil,X>Y>>

in case anyone needs this information it will be there. Currently it would be useful for parametric data needs this information.