Lambda 2023 - Lars Hupel Isabelle = Functional Programming + Generates into haskell and others Book: Programming + Proving in Isabella…
Published on 19 days ago
Expressions expression meaning local x = 2 variable local Smth(x=2) = {y = x} z function function (x) x\*x lambda [x * x for x in std…
Published on 19 days ago
Image for a whole slide Beamer Template Big Sentence Frame Title Create Title Screen
Published on 19 days ago
Don't write migrations Use Code from hibernate: https://stackoverflow.com/questions/62086938/how-to-get-ddl-auto-generated-script-in-spring…
Published on 19 days ago
Ziomki poznani z More Than Code Michał Kurzelewski Mateusz Guziak Hsp Norbert Szulc Hs3 Grzesiu (Haggis) Ziomo z hs3 (Yashikuto)
Published on 19 days ago
I met with [ Piotr Trębacz ]. Recently, we met in [ Sultan Club ] for a talk about consulting, especially about[ Accenture ]. We talked…
Published on 19 days ago