Commits · master · POTTIER Francois / feat

May 18, 2024
- TODO. · 8d37de5e
  POTTIER Francois authored 10 months ago
  
  8d37de5e
- Update [make versions]. · 1ea0485f
  POTTIER Francois authored 10 months ago
  
  1ea0485f
Apr 07, 2022
- CHANGES. · 518d49d5
  POTTIER Francois authored 2 years ago
  
  20220407
  
  518d49d5
- Remove incorrect use of [Random.get_state], causing the random number... · 6a3462f8
  POTTIER Francois authored 2 years ago
  
  Remove incorrect use of [Random.get_state], causing the random number generator to always produce the same number.
  6a3462f8
Mar 29, 2022
- Add 4.14 to [make versions]. · 6b6aac0c
  POTTIER Francois authored 3 years ago
  
  6b6aac0c
Jan 01, 2022
- CHANGES. · 2d5f8a31
  POTTIER Francois authored 3 years ago
  
  20220101
  
  2d5f8a31
Dec 31, 2021
- README. · 01dd3001
  POTTIER Francois authored 3 years ago
  
  01dd3001
- Fix URL in README. · ac4d90ec
  POTTIER Francois authored 3 years ago
  
  ac4d90ec
- Improved documentation and simplified README. · 8942d247
  POTTIER Francois authored 3 years ago
  
  8942d247
- Remove the postprocessing of the .css file. · 2b464589
  POTTIER Francois authored 3 years ago
  
  2b464589
- Documentation comments. · 2d379fb2
  POTTIER Francois authored 3 years ago
  
  2d379fb2
Dec 25, 2021
- Add license: fields. · fee51a50
  POTTIER Francois authored 3 years ago
  
  fee51a50
- Synchronize the packages. · 06ad8a22
  POTTIER Francois authored 3 years ago
  
  06ad8a22
- Update requirement on Dune. · 4e937215
  POTTIER Francois authored 3 years ago
  
  4e937215
- Update requirement on Fix. · 62a3593e
  POTTIER Francois authored 3 years ago
  
  62a3593e
Dec 24, 2021
- README. · f0f2a728
  POTTIER Francois authored 3 years ago
  
  20211224
  
  f0f2a728
- Fix [make doc]. · 5d698244
  POTTIER Francois authored 3 years ago
  
  5d698244
- Typos. · 4b70f66c
  POTTIER Francois authored 3 years ago
  
  4b70f66c
- Split into three packages feat-core, feat, feat-num. · e2b2324f
  POTTIER Francois authored 3 years ago
  
  e2b2324f
- Fix public archive URL. · 39f578be
  POTTIER Francois authored 3 years ago
  
  39f578be
Jan 02, 2021
- TODO. · cd92a605
  POTTIER Francois authored 4 years ago
  
  cd92a605
Jan 01, 2021
- Make the Makefile more silent. · aa0d1cf6
  POTTIER Francois authored 4 years ago
  
  aa0d1cf6
Dec 31, 2020
- Add [make doc]. · ea3c6775
  POTTIER Francois authored 4 years ago
  
  ea3c6775
- Makefile fixes. · 9c0779cd
  POTTIER Francois authored 4 years ago
  
  20201231
  
  9c0779cd
- Fix [make install]. · a069fdf9
  POTTIER Francois authored 4 years ago
  
  a069fdf9
- Fix links in README. · 50e037ff
  POTTIER Francois authored 4 years ago
  
  50e037ff
- Define [make test]. · 7266f14b
  POTTIER Francois authored 4 years ago
  
  7266f14b
- Flags. · e3db8e47
  POTTIER Francois authored 4 years ago
  
  e3db8e47
- Fix the demo. · fde841a2
  POTTIER Francois authored 4 years ago
  
  fde841a2
- README. · 6f1cc9f3
  POTTIER Francois authored 4 years ago
  
  6f1cc9f3
- Headers. · 73b4019c
  POTTIER Francois authored 4 years ago
  
  73b4019c
- TODO. · 4b4de084
  POTTIER Francois authored 4 years ago
  
  4b4de084
- Add [make versions]. · a91acd30
  POTTIER Francois authored 4 years ago
  
  a91acd30
- Typo. · a8cbd298
  POTTIER Francois authored 4 years ago
  
  a8cbd298
Feb 14, 2020
- Add [seq] as a dependency. · 52c250af
  POTTIER Francois authored 5 years ago
  
  52c250af
- Mark dune as a full dependency. · 986d8b8e
  POTTIER Francois authored 5 years ago
  
  986d8b8e
Feb 13, 2020
- New combinator [dlist]. · 776d2acd
  POTTIER Francois authored 5 years ago
  
  776d2acd
- Add src/Makefile. · 2a5c1c08
  POTTIER Francois authored 5 years ago
  
  2a5c1c08
- Replace an [open] with a qualified identifier. · 899894ac
  POTTIER Francois authored 5 years ago
  
  899894ac
Jan 20, 2020
- Add the indexed sum combinator [exists]. · a1f08644
  POTTIER Francois authored 5 years ago
  
  a1f08644

Admin message