Skip to content

Add all the usual binary operators to heap_lang.

Robbert Krebbers requested to merge robbert/heap_lang_binop into master

These are all the binary operators one has in C.

Merge request reports