sourcehut
Log in
—
Register
~mmatalka
/
gadts-talk
summary
browse
log
tags
branches
bookmarks
A talk on GADTs
ff6105669e4f
draft
—
Malcolm Matalka
default
@
tip
5 years ago
ADD Examples of things that can be done with GADTs
heads
tip
browse
log
clone
read-only
https://hg.sr.ht/~mmatalka/gadts-talk
read/write
ssh://hg@hg.sr.ht/~mmatalka/gadts-talk