Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
efnx
on April 28, 2017
|
parent
|
context
|
favorite
| on:
Basic Type-Level Programming in Haskell
It's common convention to keep them the same, but in this case it may be useful to distinguish between the type and the term level value.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: