···221221 "cell_type": "markdown",
222222 "metadata": {},
223223 "source": [
224224- "_This is an [IHaskell Notebook]() which is pretty cool for above kind of experiments. Much more feature rich than GHCi. I got the inspiration from [Vaibhav Sagar](https://twitter.com/vbhvsgr) who writes [all his posts](https://vaibhavsagar.com/) as IHaskell Notebooks._"
224224+ "_This is an [IHaskell Notebook](https://github.com/kaychaks/notebooks/blob/master/logical-equivalences-in-haskell.ipynb) which is pretty cool for above kind of experiments. Much more feature rich than GHCi. I got the inspiration from [Vaibhav Sagar](https://twitter.com/vbhvsgr) who writes [all his posts](https://vaibhavsagar.com/) as IHaskell Notebooks._"
225225 ]
226226 }
227227 ],