Accept f64 function arguments in `(input ...)`

egraphs-good / egglog

egraphs + datalog!

https://egraphs-good.github.io/egglog/

MIT License

400 stars 45 forks source link

Closed hessammehr closed 3 months ago

hessammehr commented 3 months ago

Being able to read in f64 fields would be quite useful. If this initial implementation seems reasonable enough I'd be happy to add a test or two ...

yihozhang commented 3 months ago

LGTM, thanks!