Skip to content
GitLab
Explore
Sign in
Register
Shayne Fletcher
Glasgow Haskell Compiler
Repository
ghc
testsuite
tests
typecheck
should_run
all.T
Find file
Blame
History
Permalink
Add some tests for evaluating type-level naturals.
· 04a24282
Iavor S. Diatchki
authored
Sep 12, 2013
04a24282