Skip to content

A GHC type checker plugin for row types

License

Notifications You must be signed in to change notification settings

nfrisby/coxswain

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 
 
 
 
 
 
 

Repository files navigation

For the near future, the documentation for these packages will be found on the GHC Dev Wiki.

https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker/RowTypes/Coxswain

Matthew Pickering wrote up a Nix config, if that's your style. I wouldn't ask him to expend energy keeping this up-to-date --- and I don't yet know how --- but I anticipate that most those of you interested in such things will probably know at least how to tweak this file as useful template.

https://gist.github.com/2a4b2fa25351bd900052d955a00ace6a

About

A GHC type checker plugin for row types

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published