Improvements to Number; started doc

This commit is contained in:
Roman Suzi
2020-08-02 19:24:28 +03:00
parent a6fc60e2d3
commit e4f9b85f53
18 changed files with 884 additions and 164 deletions

View File

@@ -64,7 +64,7 @@ lin
-- : IDet -> CN -> IP ; -- which five songs
IdetCN idet cn = caseTableToRecord (\\cas => idet.s ! cn.g ! cn.anim ! cas
++ cn.s ! numSizeNum cas idet.size ! numSizeCase cas idet.size)
(Ag (gennum cn.g (numSizeNumber idet.size)) P3) cn.anim ;
(Ag (gennum cn.g (forceMaybeNum cn.mayben (numSizeNumber idet.size))) P3) cn.anim ;
-- : IDet -> IP ; -- which five
IdetIP idet = caseTableToRecord (\\cas => idet.s ! idet.g ! Inanimate ! cas)