search

GaloisInc / salty

A DSL for generating GR(1) problems
BSD 3-Clause "New" or "Revised" License
11 stars 3 forks source link

Comparison/arithmetic operators #6

Open elliottt opened 7 years ago

elliottt commented 7 years ago

@The Int type is fairly useless without comparison and arithmetic operators. It would be nice to support these in the surface language.

cc @sahabi