Man måste föreställa sig Guilille ständigt lycklig
guille
guille4 juli 08:10
dagens löjliga bit i Julia: att genomföra en (enkel!) formell verifiering mini-PL med hjälp av Julia-typer det kan till och med verifiera att 1+1=2 från Peano-axiom!
1,16K