Atyansh / Haskell

Learning Haskell through Professor Ranjit Jhala's CSE 230 assignments.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Haskell

Learning Haskell through Professor Ranjit Jhala's CSE 230 assignments.

To be able to run the first assignment, you would need to download the School of Expression (SOE) library separately (I didn't include it as it's freely available). The SOE library needs to put in the same folder as the hw1 folder. Alternatively, the SOEPATH variable can be modified in the Makefile for hw1 appropriately.

You may also need to install certain packages using cabal to be able to compile some assignments.

For the final, you need Liquid Haskell.

About

Learning Haskell through Professor Ranjit Jhala's CSE 230 assignments.


Languages

Language:Haskell 58.1%Language:HTML 41.9%Language:Makefile 0.0%