lisa
lisa copied to clipboard
epfl-lara
Add natural language input
- Added a function that converts ACE input to a TPTP formula using the Attempto webservice.
- Added a function that converts a TPTP formula to natural language.
- Added an example that illustrates the usage.
- Also corrected a few minor typos.
(ignore the failing CI for now; as long as it compiles it is OK)
Great, that's good to know!
Just a few very minor remarks and suggestions. This is some very good Scala code already!
Many thanks for all the suggestions! That's exactly the sort of feedback I was hoping for because I'm not familiar with idiomatic solutions :-)
If you need or want it, at some point, We can have a zoom meeting and I can show you idiomatic scala practice and usefull tips for your code.
If you need or want it, at some point, We can have a zoom meeting and I can show you idiomatic scala practice and usefull tips for your code.
That would be really helpful, thank you! I don't want to take too much of your valuable time but I do need some pointers so that I don't make too many stylistic/idiomatic mistakes in the future.