Fast unify 1 - Githubissues

andrew-johnson-4 / lambda-mountain

Compiler Backend for LSTS (Typed Macro Assembler)

https://andrew-johnson-4.github.io/lambda-mountain/

MIT License

20 stars 1 forks source link

Fast unify 1 #988

Closed andrew-johnson-4 closed 4 days ago

andrew-johnson-4 commented 4 days ago

Describe your changes

if a type is comparable, then it can define a cmp function
created comparison operators for Strings, SmartStrings, List, and Type

Issue ticket number and link

https://github.com/andrew-johnson-4/lambda-mountain/issues/987

Checklist before requesting a review

[ x ] I have performed a self-review of my code
[ x ] If it is a new feature, I have added thorough tests.
[ x ] I agree to release these changes under the terms of the permissive MIT license (1).

https://github.com/andrew-johnson-4/lambda-mountain/blob/main/LICENSE