search

advancedresearch / joker_calculus

An implementation of Joker Calculus in Rust
MIT License
5 stars 2 forks source link

Add `Expr::authentic` method #39

Closed bvssvni closed 2 years ago

bvssvni commented 2 years ago

Determines whether an expression is authentic in sense of Heidegger.

Returns true when the normalized expression in CJC does not contain a Joker.