Murat Kasimov
More about me
Я language (β)
/Я language (β)/Behaviour/Found/
>
Found
:
forall
t
.
t
`C'AR__`
t
`L`
Match
`T`
_
Demonstration
: check if all items in
List
/
Nonempty List
/
Vector
satisfy
compound
logical predicate
:
>
equals
x
=
Error
`ho'ut'st`
False
`has`
Same
`ho'ut'st`
True
`ha_'hjd'eq`
x
>
A
`has`
B
`ryo`
Enter
`yokl`
Forth
`ha`
Found
`ha`
Match
`ha`
equals
`yar_`
A
`has`
B
`ryo`
Enter
=
True
Unit
>
A
`has`
B
`ryo`
Enter
`yokl`
Forth
`ha`
Found
`ha`
Match
`ha`
equals
`yar_`
B
`has`
A
`ryo`
Enter
=
True
Unit
>
A
`has`
B
`ryo`
Enter
`yokl`
Forth
`ha`
Found
`ha`
Match
`ha`
equals
`yar_`
B
`has`
C
`ryo`
Enter
=
False
Unit