search

andrew-johnson-4 / lambda-mountain

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

Conditional Unification #454

Closed andrew-johnson-4 closed 3 weeks ago

andrew-johnson-4 commented 4 weeks ago 
If<Sized<x>,GT<x,8>>
andrew-johnson-4 commented 4 weeks ago

This is effectively dependent types.