https://github.com/quasarbright/algorithmj

An implementation of Algorithm J type inference
https://github.com/quasarbright/algorithmj

Last synced: 26 days ago
JSON representation

An implementation of Algorithm J type inference

• Host: GitHub
• URL: https://github.com/quasarbright/algorithmj
• Owner: quasarbright
• License: bsd-3-clause
• Created: 2020-08-03T21:37:22.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-08-20T08:11:22.000Z (over 4 years ago)
• Last Synced: 2024-11-06T07:42:20.868Z (3 months ago)
• Language: Haskell
• Size: 173 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# AlgorithmJ

An implementation of the type inference algorithm known as Algorithm J