search

Charles-Johnson / zia_programming

A language that can program itself
https://zia-lang.org
GNU General Public License v3.0
3 stars 0 forks source link

"why" concept #17

Open Charles-Johnson opened 3 years ago

Charles-Johnson commented 3 years ago

basically displays the ReductionReason for a given reduction

why true and true

evaluates to

because true and true

whereas

why 2 > 0

evaluates to

(_y_ exists_such_that) _x_ > _y_ and (_y_ > _z_ ) => _x_ > _z_ and 2 > 1 and 1 > 0