Fork me on GitHub
#clojure-greece
<
2018-12-03
>
palladin12:12:14

Molis teleiosa to neo "The Little Typer" kai to proteino se filous tis Scheme-Lisp pou theloun mia dinati eisagogi se dependent types.

digiou13:12:14

@palladin εχεις διαβασει το the little prover?

palladin13:12:38

Nai to diavasa

palladin13:12:40

ean thimame kala to kalokauri tou 2016

digiou13:12:23

θα το προτεινες;

digiou13:12:32

το κοιτουσα χθες

palladin13:12:38

Vasika exo diavasei ola ta "little" books pou exoun vgei

palladin13:12:57

Ola ta protino giati apla pernas kala otan ta diavazeis

palladin13:12:26

Ola exoun mia kentriki idea pou theloun na parousiasoun

palladin13:12:24

opote kai to prover me ton tropo ton "little" books parousiazei tin idea ton inductive proofs

digiou13:12:35

τελεια, τελεια

digiou13:12:48

θα το συνεχισω

👍 4