Unrestricted Dependent Types

andrew-johnson-4 / lambda-mountain

Compact Portable Assembler (5K SLOC)

MIT License

12 stars 0 forks source link

Open andrew-johnson-4 opened 4 weeks ago

andrew-johnson-4 commented 4 weeks ago

If<Sized<x>,GT<x,8>>

Make operations like this user definable.