Name
jakamun's repositories
01-ocaml
02-zgradba-programskega-jezika
03-indukcija
04-lambda-racun
05-tipi
06-formalizacija-dokazov
07-izpeljava-tipov
08-denotacijska-semantika
09-domene
imp
lambda
pomozno
.gitignore