HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-10-05 19:27:30 +03:00
Code Issues Packages Projects Releases Wiki Activity

add comment to testBBT

Browse Source
This commit is contained in:
Derenash 2024-02-21 12:14:16 -03:00
parent 658bade510
commit 1336cd89a0
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
book/testBBT.kind2
View File

@ -169,5 +169,11 @@
testBBT
: String
= "File commented for backward compatibility."
=
"
File commented for backward compatibility.
To run the tests, uncomment the code on:
testBBT.kind2
U60.Map
"
// RunTests