fibrational-semantics. Notes on simple fibrational semantics.

github.com/jozefg/fibrational-semantics
by @jozefg

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.