blob: 72b605fc7738730c617ddecd9d9995be5673cae7 (
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 0) → zero?) (+3) (+5)]
:test ((solve (+10)) =? (+23)) ([[1]])
main [solve (+1000)]
|
