Commits

Author Commit Message Labels Comments Date
Sebastien Mondet
doc: improve `README.md`
Sebastien Mondet
Release 0.0.1 (updating generated files)
Tags
nonstd.0.0.1
Sebastien Mondet
List: add more functions from `Core_kernel`
Sebastien Mondet
List; add `filter_opt`
Sebastien Mondet
Int,Float: fix stupid mistake in `of_string`
Sebastien Mondet
lib: add `Option.value_map`
Sebastien Mondet
Option: add `map`, `bind`, and `return`
Sebastien Mondet
lib: add license precisions for the `List` module
Sebastien Mondet
doc: update README
Sebastien Mondet
lib: add all modules
Sebastien Mondet
build: import generated files
Sebastien Mondet
lib: add basic module
Sebastien Mondet
doc: add README file