search

andrew-johnson-4 / lambda-mountain

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

Add support for multi-pass type inference #432

Open andrew-johnson-4 opened 1 month ago

andrew-johnson-4 commented 1 month ago

One-pass is not generally sound.