one must imagine guille constantly happy
guille
guille4.7. klo 08.10
today's ridiculous bit in Julia: implementing a (simple!) formal verification mini-PL by using Julia types it can even verify that 1+1=2 from Peano axioms!
1,16K