Números Primos

primos.poti.por

crivo(num: Lista[Inteiro]): Lista[Inteiro] =
  se num == [] então []
  senão
    a = num.cabeça
    a::crivo(num.selecione(x => x mod a <> 0))
  fim

num = 2::3::5::7::
  (para n de 1 até 100, a em [1,3,7,9] gere n * 10 + a fim)
primos = crivo(num)
escreva primos

primo(n: Inteiro) = n > 1 e
  primos
    .pegue_enquanto(_ < raiz(n))
    .injete(verdadeiro)((a,b) => a e n mod b <> 0)

escreva "3 é primo: {primo(3)}"
escreva "15 é primo: {primo(15)}"