Skip to content

Commit 7ad74a1

Browse files
committed
update: readme for Poly/ML
1 parent 976eb77 commit 7ad74a1

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

readme.md

+11
Original file line numberDiff line numberDiff line change
@@ -99,3 +99,14 @@ $(SMLUNIT_LIB)/smlunit-lib.mlb
9999
foo_test.sml
100100
```
101101

102+
### PolyML
103+
104+
`loadState "libsmlunit.poly"` for other project.
105+
106+
```sh
107+
$ poly
108+
> PolyML.SaveState.loadState "/path/to/libsmlunit.poly";
109+
val it = (): unit
110+
>
111+
```
112+

0 commit comments

Comments
 (0)