You need to install stack to start this project.
$ git clone https://github.com/Richard-zhang/SPar.git --recursive
$ cd SPar && make cr
- How to build recursive data type without the mu? For example, List = \mu a. ('PSum ('PK ()) ('PProd ('PK elem) 'PId)) a
- How to build a function whose data type is Core (a->b) using by composing existing constructors?
- Why there isn't :$ and Lam constructors?