Repository navigation

Computable attribute - #8

Merged

gaetanserre merged 23 commits into

mainfrom

Sep 23, 2026

Commits on Sep 1, 2026
- Add Numpy's RNG
  gaetanserre
  committed
  1801a5e
Commits on Sep 2, 2026
- `randInt` and `uniform`
  gaetanserre
  committed
  012ba5e
Commits on Sep 4, 2026
- Add FFI fma and normal/exponential distribution
  gaetanserre
  committed
  4f0aeb0
Commits on Sep 7, 2026
- Inline and separate Ziggurat
  gaetanserre
  committed
  ef5c373
- Computable tactic
  gaetanserre
  committed
  5efde9a
- Trace
  gaetanserre
  committed
  069f744
- Add `NumLean.normal'`
  gaetanserre
  committed
  f66de1d
- Add support for `sqrt`, `log` and `expr`
  gaetanserre
  committed
  f52cc70
- Refactor
  gaetanserre
  committed
  8a7666e
Commits on Sep 8, 2026
- Better support
  gaetanserre
  committed
  c9192fd
- Binomial distribution
  gaetanserre
  committed
  c6b596f
Commits on Sep 9, 2026
- Sample examples
  gaetanserre
  committed
  dfeb187
- `mk_all`
  gaetanserre
  committed
  52eeab6
- Support for mutable expr and for loop
  gaetanserre
  committed
  cdcbf76
- Lint
  gaetanserre
  committed
  71605d2
- Test `HasGaussian`
  gaetanserre
  committed
  b8113f6
Commits on Sep 16, 2026
- Polymorphic test
  gaetanserre
  committed
  cebedb4
- Lint
  gaetanserre
  committed
  14c26e6
Commits on Sep 21, 2026
- Support for bernoulli
  gaetanserre
  committed
  451a720
- Translate arg function
  gaetanserre
  committed
  88d2412
Commits on Sep 23, 2026
- Add the `Scalar` typeclass
  gaetanserre
  committed
  0f3af93
- Cleanup and tests for polymorphic programs
  gaetanserre
  committed
  0cf260d
- module docstring
  gaetanserre
  committed
  574973b