blob: 1678b588a80854434e402ac7cc1ccee3e48acf52 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
:import std/Combinator .
:import std/List .
:import std/Math .
solve [∑(crit <#> ({ (+0) → --0 }))]
crit φ m ((\mod (+3)) → zero?) ((\mod (+5)) → zero?)
:test ((solve (+10)) =? (+23)) ([[1]])
main [solve (+1000)]
|
