Skip to content

Server-side semantics

Choose a tag to compare

@mikesol mikesol released this 10 May 15:23
· 187 commits to main since this release

Adds SSR using "type-class morphisms" à la Conal Elliott.