search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

Does K have Rationals? #2172

Open omarzd opened 8 years ago

omarzd commented 8 years ago

Does K have a built-in data type for rationals like Maude's Rat?

radumereuta commented 8 years ago

Not in K4. If you ever need to see what's predefined in k, you can have a look in https://github.com/kframework/k/blob/master/k-distribution/include/builtin/domains.k Andhttps://github.com/kframework/k/blob/master/k-distribution/include/builtin/kast.k

omarzd commented 8 years ago

OK. how about K3.5? can I hook it from the Maude back-end? On Apr 29, 2016 9:03 PM, "Radu Mereuta" notifications@github.com wrote:

Not in K4. If you ever need to see what's predefined in k, you can have a look in https://github.com/kframework/k/blob/master/k-distribution/include/builtin/domains.k Andhttps:// github.com/kframework/k/blob/master/k-distribution/include/builtin/kast.k

— You are receiving this because you authored the thread. Reply to this email directly or view it on GitHub https://github.com/kframework/k/issues/2172#issuecomment-215831962

omarzd commented 8 years ago

@traiansf, can you please help me hook Maude's Rat properly in K3.5?