https://github.com/purefunctor/purescript-bidirectional

https://github.com/purefunctor/purescript-bidirectional

Last synced: 6 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/purefunctor/purescript-bidirectional
• Owner: purefunctor
• License: bsd-3-clause
• Created: 2021-11-16T16:18:05.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2021-11-27T17:06:52.000Z (over 4 years ago)
• Last Synced: 2025-09-20T11:52:44.612Z (11 months ago)
• Language: PureScript
• Size: 12.7 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# purescript-bidirectional

An implementation of [Complete and Easy Bidirectional Typechecking for

Higher-Rank Polymorphism](https://www.cl.cam.ac.uk/~nk480/bidir.pdf) in

PureScript. Partially adapted from

[ollef/Bidirectional](https://github.com/ollef/Bidirectional).