Admin message

Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template

Wiki pages

  • type functions
    • integrated solver
    • total families
  • type level naming issues
  • type level reasoning
  • type nats
    • alternative singletons
    • avoiding partial type functions
    • axioms
    • basic examples
    • basics
    • examples
    • implementation
    • implicit explicit
    • inductive definitions
    • interact1
    • interact2
    • leq
    • matching on nats
    • naturals
    • operations
  • 1
  • …
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56