Open montymxb opened 3 years ago
The current implementation is behind the formal specification of BoGL. The following additions remain to be made:
expr#int
expr#(int,....,int)
width : Int
height : Int
place : (Content,Board,(Int,Int)) -> Board
count : (Content,Board) -> Int
countBoard
longestRow : (Content,Board) -> Int
The following subtractions remain to be made:
%
I think there are some other builtins like countDiag and inARow that need to be removed, but I don't recall exactly.
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 boardheight : Int, builtin ref for the boardplace : (Content,Board,(Int,Int)) -> Board, changes the function signature of placecount : (Content,Board) -> Int, replacescountBoardlongestRow : (Content,Board) -> Int, new functionThe following subtractions remain to be made:
%, unusedI think there are some other builtins like countDiag and inARow that need to be removed, but I don't recall exactly.