näyttää siltä, että Lean on suosittu nykyään, joten tässä on pieni postaus siitä, miten/miksi se toimii ja sen miniversion toteuttamisesta Juliassa

sinun ei todellakaan tarvitse tuntea Juliaa tähän, koska se on hyvin yksinkertaista! (ja sinun _todellakaan_ ei tarvitse tuntea Leania)

Joka tapauksessa, tässä on postaus

Jos olet enemmän livestriimin nauttija:

@outputlayer rosé pine dawn (ei kursivointia), fontti on Berkeley mono jäljittelemättömästä @usgraphics

@frang_u99393 ai niin, riippuvaiset tyypit näkyvät täysin täällä, niin Lean olisi tyyppijärjestelmän helppo sivuvaikutus, jossa on lisämukavuutta siinä, että voit todella kirjoittaa ohjelmistoja Juliassa

@frang_u99393 "Lean" "Lean-like interaktiivisten lauseiden todistamisjärjestelmien" korvikkeena