BartJongejan / Bracmat

Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.
GNU General Public License v2.0
47 stars 5 forks source link

[ prefix #7

Closed TheFausap closed 5 years ago

TheFausap commented 5 years ago

Hello Bart,

I'm analyzing the example in Rosetta Code about arbitraty precision integer. I was running a different expression based on that one:

@(4^3^2:[ 2 ?)

this should be always true... the position operator ( [ ) is true because is trying to match the 2 char in the string with anything ( ? ). What am I missing here?

TheFausap commented 5 years ago

Found... I was thinking in terms of function... not pattern. I understood my error :)