Bidirectional programming in Haskell with monadic profunctors
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.