search

zenna / Omega.jl

Causal, Higher-Order, Probabilistic Programming
MIT License
163 stars 17 forks source link

Type instability #105

Closed zenna closed 3 years ago

zenna commented 5 years ago

soft equality in this example from Wolves and rabbits loses type information.

const toomanyrabbits = lift(Statistics.mean)(last10) ==ₛ 5.0
zenna commented 3 years ago

Move to examples