| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | cnf.rkt | 5693 | logplain |
| -rw-r--r-- | cw.rkt | 1472 | logplain |
| -rw-r--r-- | deriv.rkt | 1376 | logplain |
| d--------- | egzamin | 475 | logplain |
| d--------- | l10z18 | 80 | logplain |
| d--------- | l11 | 152 | logplain |
| d--------- | l11z20 | 189 | logplain |
| d--------- | l13 | 149 | logplain |
| d--------- | l14z22 | 80 | logplain |
| d--------- | l15 | 152 | logplain |
| d--------- | l7z12 | 40 | logplain |
| d--------- | l7z13 | 40 | logplain |
| d--------- | l8z14 | 80 | logplain |
| d--------- | l8z15 | 80 | logplain |
| d--------- | l9 | 72 | logplain |
| d--------- | l9z16 | 40 | logplain |
| d--------- | l9z17 | 40 | logplain |
| -rw-r--r-- | leftist.rkt | 2470 | logplain |
| d--------- | lista5 | 393 | logplain |
| d--------- | lista6 | 145 | logplain |
| -rw-r--r-- | luk.rkt | 4301 | logplain |
| -rw-r--r-- | rac.rkt | 11323 | logplain |
| -rw-r--r-- | solution.rkt | 396 | logplain |
 |
index : wmiuwr.git | |
| 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 |
| aboutsummaryrefslogtreecommitdiff |