Differences between Implementation and Formal Specification

[montymxb]

The current implementation is behind the formal specification of BoGL. The following additions remain to be made:

• expr#int (single tuple projection)
• expr#(int,....,int) (tuple projection)
• width : Int, builtin ref for the board
• height : Int, builtin ref for the board
• place : (Content,Board,(Int,Int)) -> Board, changes the function signature of place
• count : (Content,Board) -> Int, replaces countBoard
• longestRow : (Content,Board) -> Int, new function

The following subtractions remain to be made:

• remove %, unused

I think there are some other builtins like countDiag and inARow that need to be removed, but I don't recall exactly.