Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
8 check-ins
2020-10-15
| ||
17:15 | Hidden Stream type definition Leaf check-in: 06d03d675c user: ramil tags: trunk | |
2020-01-30
| ||
11:54 | Added 'synopsis' to opam-file. check-in: 7a7f4118e3 user: ramil tags: trunk | |
2019-11-12
| ||
06:45 | Fixed opam file. Minor formatting. check-in: 73c18eed5d user: ramil tags: trunk | |
2019-03-25
| ||
09:30 | Updated license. Signature changes. Added `end_of_stream`. Minor reworking. check-in: fbc294f901 user: ramil tags: trunk | |
2019-01-29
| ||
10:04 | Reworked stream representation. Added positional parameter for better error messages. check-in: 0aa783fcc1 user: ramil tags: trunk | |
2018-11-02
| ||
09:06 | Removed trailing whitespaces. check-in: a384291784 user: ramil tags: trunk | |
08:40 | Initial import into new repo. check-in: d49323681d user: ramil tags: trunk | |
08:20 | initial empty check-in check-in: 6c14b90acc user: gravicappa tags: trunk | |