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.
Consider applying for YC's Summer 2025 batch! Applications are open till May 13
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: