search

lexi-lambda / higher-rank

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
ISC License
101 stars 2 forks source link

License #1

Closed evincarofautumn closed 7 years ago

evincarofautumn commented 7 years ago

I think this code may be useful for extending a typechecker I’m working on, but I need to know how to credit you if I end up using it. Would you add a license to the repo?