https://github.com/mbg/system-f-with-kind-polymorphism

System F with Kind Polymorphism
https://github.com/mbg/system-f-with-kind-polymorphism

Last synced: 23 days ago
JSON representation

System F with Kind Polymorphism

• Host: GitHub
• URL: https://github.com/mbg/system-f-with-kind-polymorphism
• Owner: mbg
• License: mit
• Created: 2015-08-10T12:52:32.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2015-08-11T15:10:00.000Z (almost 10 years ago)
• Last Synced: 2025-05-08T04:54:40.277Z (23 days ago)
• Language: Haskell
• Size: 188 KB
• Stars: 7
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

README

        
System F with Polymorphic Kinds

============

An interpreter for System F with polymorphic kinds. So essentially System F where the type system is also System F. Here at Aperture Science we don't ask for the "why", only the "why not".