GitHub - dylnb/scratch: testing ground for semantic techniques and functional programming

dylnb / scratch Public

testing ground for semantic techniques and functional programming

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
coroutine-towers		coroutine-towers
dyn-focus		dyn-focus
free-focus		free-focus
set-reader-monad?		set-reader-monad?
type-driven		type-driven
annot-state.hs		annot-state.hs
knottying.hs		knottying.hs