Skip to content

Instantly share code, notes, and snippets.

Avatar

Dmitry Shpika scriptin

View GitHub Profile
@chrisdone
chrisdone / typing.md
Last active Jun 19, 2021
Typing Haskell in Haskell
View typing.md

Typing Haskell in Haskell

MARK P. JONES

Pacific Software Research Center

Department of Computer Science and Engineering

Oregon Graduate Institute of Science and Technology