A barber in a small village boasts about himself that he shaves all men 
that do not shave themselves.

If we assume the barber shaves himself, we must conclude he doesn't shave 
himself.
If we assume the barber doesn't shave himself, we must conclude he does 
shave himself.

Go figure.


Am Samstag, 8. Oktober 2016 10:30:38 UTC+2 schrieb Russel Winder:
>
> I was tinkering with the factorial code tests, I am not sure the actual 
> code matters, and I got this error message: 
>
> E /home/users/russel/Progs/Applications/Factorial/Frege/src/test/frege/
> factorial_test.fr:17: type error in expression 
>     iterative 
>     type is : Int 
>     expected: Integer 
> E /home/users/russel/Progs/Applications/Factorial/Frege/src/test/frege/
> factorial_test.fr:17: type error in expression 
>     iterative 
>     type is : Integer 
>     expected: Int 
>
> Methinks we have a new mini-episode for Joseph K in The Trial. 
>
> -- 
> Russel. 
> ============================================================================= 
>
> Dr Russel Winder      t: +44 20 7585 2200   voip: 
> sip:russel.win...@ekiga.net 
> 41 Buckmaster Road    m: +44 7770 465 077   xmpp: rus...@winder.org.uk 
> London SW11 1EN, UK   w: www.russel.org.uk  skype: russel_winder

-- 
You received this message because you are subscribed to the Google Groups 
"Frege Programming Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to frege-programming-language+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to