search

tweag / HaskellR

The full power of R in Haskell.
https://tweag.github.io/HaskellR
Other
584 stars 47 forks source link

Remove type argument from SEXPs #410

Open facundominguez opened 1 year ago

facundominguez commented 1 year ago

This is an experiment to remove the type argument of SEXPs using Liquid Haskell as explained in #389.

Build with

stack build --flag inline-r:liquidhaskell inline-r

It relies on some changes to Liquid Haskell that are in flight.