An implementation of Refinement Typed Proto-Quipper (Proto-Quipper-R)
Primary LanguageHaskellMIT LicenseMIT