Man må forestille seg Guille konstant lykkelig
guille
guille4. juli, 08:10
dagens latterlige bit i Julia: implementering av en (enkel!) formell verifiseringsmini-PL ved å bruke Julia-typer den kan til og med bekrefte at 1+1=2 fra Peano-aksiomer!
1,14K