boostorg/optional
1
0
Fork 1
mirror of https://github.com/boostorg/optional.git synced 2025-10-25 22:01:39 +02:00
Code Issues Packages Projects Releases Wiki Activity
701 Commits 66 Branches 124 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Andrzej Krzemienski
1825c778ed Improve docs 
Restructure.
Rewrite old content.
Add new page, on convenience functions
 2024-09-18 09:28:55 +02:00
Andrzej Krzemienski
7878dec842 document monadic interface 2023-11-09 00:38:43 +01:00