forked from GitHub/gf-core
added some words to complete resource test
This commit is contained in:
@@ -30,7 +30,7 @@ fun
|
|||||||
|
|
||||||
-- lexicon
|
-- lexicon
|
||||||
|
|
||||||
UseInt : Int -> PN ;
|
UseInt : Int -> PN ;
|
||||||
|
|
||||||
Number : CN ;
|
Number : CN ;
|
||||||
Even, Odd, Prime : AP ;
|
Even, Odd, Prime : AP ;
|
||||||
|
|||||||
Reference in New Issue
Block a user