| Commit message (Collapse) | Author | Age | 
| ... |  | 
| |  | 
 | 
| | 
| 
| 
| 
| 
| 
|  | 
This reverts commit 8890526cac9e6c4d5583d00fce55f32ba613cf31.
Removing a _provided_ KnownNat constraint if we cannot remove the actual
Nat information from the data type is rather pointless.
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| | 
| 
| 
| 
|  | 
This is to ensure that haddock doesn't insert a module reference, but
displays the members of the Base module inline.
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| | 
| 
| 
| 
|  | 
to be automatically applied at buffer save or periodically applied with
find -not -path '*/\.git/*' -name "*.hs" -type f| xargs stylish-haskell -i
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| | 
| 
| 
|  | 
https://x.com/comerijn/status/1257804634833420292
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 |