index
:
wmiuwr.git
main
My university solutions, lists and stuff. If you want to thank me for my notes, then buy me a craft beer (preferably IPA or baltic porter). Or just say *thank you* when we meet :)
Franciszek Malinka
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Semestr 3
/
pf
/
lista4
/
logic
Mode
Name
Size
-rw-r--r--
Makefile
295
log
plain
-rw-r--r--
README
960
log
plain
d---------
_build
420
log
plain
-rw-r--r--
_tags
0
log
plain
-rw-r--r--
logic.cma
3109
log
plain
-rw-r--r--
logic.cmi
1513
log
plain
-rw-r--r--
logic.mllib
7
log
plain