search

andrew-johnson-4 / lambda-mountain

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

Support expression position if branches #463

Open andrew-johnson-4 opened 3 weeks ago

andrew-johnson-4 commented 3 weeks ago

If the term is Used then both branches need to be the same type. If the term is not Used then return doesn't need to unify.