Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language
Comments ⌘ Read more