syntaxAlchemist/lib-laddertypes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

README: add small code example

Browse source
This commit is contained in:
Michael Sippel 2023-10-02 15:09:59 +02:00
parent c7585f353a
commit c96218e318
Signed by: senvas
GPG key ID: F96CF119C34B64A6
1 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
README.md
View file

@ -61,6 +61,19 @@ this:
1696093021:1696093039:1528324679:1539892301:1638141920:1688010253
```
## How to use this crate
```rust
use laddertypes::*;
let mut dict = TypeDict::new();
let t1 = dict.parse("<A B~X C>").expect("couldnt parse typeterm");
let t2 = dict.parse("<<A B~X> C>").expect("couldnt parse typeterm");
assert_eq!( t1.clone().curry(), t2 );
assert_eq!( t1, t2.clone().decurry() );
```
### License
[GPLv3](COPYING)