spar

You need to install stack to start this project.

$ git clone https://github.com/Richard-zhang/SPar.git --recursive
$ cd SPar && make cr

Questions

1. How to build recursive data type without the mu? For example, List = \mu a. ('PSum ('PK ()) ('PProd ('PK elem) 'PId)) a
2. How to build a function whose data type is Core (a->b) using by composing existing constructors?
3. Why there isn't :$ and Lam constructors?