Thanks :) Polar is inspired by Prolog, a logic programming language, and designed to express authorization policies in a declarative style. One of the main t

Thanks :) Polar is inspired by Prolog, a logic programming language, and designed to express authorization policies in a declarative style. One of the main things we wanted was a language that embeds well so that Polar can use types from your application and call functions & methods directly. We wrote up some of the design principles here [1], and a (warning: pretty detailed) background on the language here[2] [1] https://docs.osohq.com/more/design-principles.html https://docs.osohq.com/more/design-principles.html [2] https://docs.osohq.com/more/language/polar-foundations.html https://docs.osohq.com/more/language/polar-foundations.html