Closed Charles-Johnson closed 4 months ago
let ([ _x_ ])[ 0 ] -> _x_
let ([ _x_ , _y_)[ 0 ] -> _x_
let ([ _x_ , _y_)[ _i_ +1 ] -> ([ _y_)[ _i_ ]
let 1 := 0 +1
so ([ 8 , 7, 4 ])[ 1 ] evaluates to 7
([ 8 , 7, 4 ])[ 1 ]
7
I should try to make a tutorial for this
Created a pull request for the tutorial: #79
so
([ 8 , 7, 4 ])[ 1 ]
evaluates to7