Lobsters
- Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language https://hirrolot.github.io/posts/announcing-beatrice.html 12 comments plt
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:hirrolot.github.io
Search title: Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language
See how to search.