search

thoughtstem / morugamu

7 stars 6 forks source link

Redex: Add more to inequalities #37

Closed srfoster closed 5 years ago

srfoster commented 5 years ago

Currently, the redex/inequalities.rkt file contains a meta-function for less than <. Add the rest of the inequalities. Use shortcuts where necessary (e.g. Can > be defined in terms of <?)

srfoster commented 5 years ago

(NOTE: As you add meta-functions, add additional tests at the bottom of the file to demonstrate that it works.)