Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
holes
holes
· Changes
Page history
Small intro
authored
Feb 10, 2012
by
spl
Hide whitespace changes
Inline
Side-by-side
holes.md
View page @
7948c8e0
This page describes the design and potential implementation of "holes" in GHC.
# Goals in Agda
...
...