- Timestamp:
- Jun 19, 2022, 9:01:11 PM (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/lib/archive.ml
r3 r9 4 4 let q = Person.Set.of_query @@ String_set.query query_string in 5 5 fun n -> Person.Set.predicate q n.Text.authors 6 7 let ided query_string = 8 fun n -> n.Text.id = query_string 6 9 7 10 let keyworded query_string =
Note:
See TracChangeset
for help on using the changeset viewer.