Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.
Jan 18, 2023 — Jan 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Fix type t in Unprime_buffer signature.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Prime_buffer: Deprecate with_buffer, add with0, with1, with2.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Add Prime_buffer and Unprime_buffer.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Change "Shadowed" to "Showing" in module titles.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Avoid mutating string initialization.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Document Prime_accretion_map.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Minor doc fixes.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Remove Monad.fail.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Bump version to 0.6.1.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Prime_accretion_map: Add MakeG* taking explicit generator types.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Add find and iterators to accretion maps.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Bump version to 0.6.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Prime_enum*: Add S_with_monadic signature.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Prime_enum*: Rename With_monad and add convenience functor.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Fix LGPL version number in two files.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Also add monadic map functions to Prime_enummap.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Add monadic operations to Prime_enummap.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Add monadic operations to Prime_enumset.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Add Prime_accretion_map.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Prime_enumlist: Add map, mapi, and fmap.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Prime_enumlist: Add set and update.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Bump version to 0.5.1.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Prime_enumlist: Rename elements; add of_list; improve test.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Bump version to 0.5.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Add Prime_enumset.cut.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Prime_enummap, Prime_enumset: Rename cut.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Strengthen test_enumlist.ml.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Prime_retraction: Minor doc fix.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Add Unprime_enumlist.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago
Add Prime_enumlist.
Petter A. Urkedal
as Petter Urkedal
More... almost 10 years ago