add ListS, insertObj

This commit is contained in:
Meowyam
2023-02-22 11:37:43 +08:00
parent 6f3a72aa1d
commit a741e192e2
4 changed files with 16 additions and 6 deletions

View File

@@ -178,6 +178,8 @@ lin have_V2 = let have' : V2 = mkV2 "ada" in have' ** {
-- lin can8know_VV = can_VV ; -- can (capacity)
lin can_VV = mkVV "boleh" ; -- can (possibility)
lin must_VV = mkVV "perlu" ;
lin may_VV = mkVV "mungkin" ;
lin shall_VV = mkVV "hendaklah" ;
lin want_VV = mkVV "mahu" ;
------