![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Adder.idr | 2018-03-12 14:03 | 287 | |
| AppendVecRew.idr | 2018-03-12 14:03 | 391 | |
| ApplyVec.idr | 2018-03-12 14:03 | 314 | |
| Eq.idr | 2018-03-12 14:03 | 713 | |
| EqNat.idr | 2018-03-12 14:03 | 498 | |
| ExactLength.idr | 2018-03-12 14:03 | 1.1K | |
| FCTypes.idr | 2018-03-12 14:03 | 443 | |
| Generic.idr | 2018-03-12 14:03 | 333 | |
| HOF.idr | 2018-03-12 14:03 | 145 | |
| Hello.idr | 2018-03-12 14:03 | 64 | |
| HelloHole.idr | 2018-03-12 14:03 | 54 | |
| Let_Where.idr | 2018-03-12 14:03 | 474 | |
| TCVects.idr | 2018-03-12 14:03 | 97 | |
| Tree.idr | 2018-03-12 14:03 | 663 | |
| Vectors.idr | 2018-03-12 14:03 | 273 | |
| Void.idr | 2018-03-12 14:03 | 132 | |
| WordLength_vec.idr | 2018-03-12 14:03 | 149 | |
| Zad1.idr | 2018-03-19 22:08 | 527 | |
| Zad2.idr | 2018-03-19 22:08 | 1.2K | |
| Zad3.idr | 2018-03-19 22:08 | 684 | |
| Zad4.idr | 2018-03-19 22:08 | 1.5K | |
| Zad5.idr | 2018-03-19 22:08 | 295 | |
| binary.idr | 2018-03-12 14:03 | 1.3K | |
| parity.idr | 2018-03-12 14:03 | 822 | |
| plus_theorem.idr | 2018-03-12 14:03 | 418 | |
| removeElem.idr | 2018-03-12 14:03 | 540 | |