Skip to content

Instantly share code, notes, and snippets.

Avatar

Anthony Su tonyfloatersu

View GitHub Profile
@chrisdone
chrisdone / typing.md
Last active Aug 24, 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