- GitHub - xieyuheng/cicada: Study of programming language design and implementation https://github.com/xieyuheng/cicada 5 comments compsci
Linked pages
- Introducing draft pull requests | The GitHub Blog https://github.blog/2019-02-14-introducing-draft-pull-requests/ 161 comments
- Dan Friedman's Hyplan http://www.cs.indiana.edu/~dfried/ 4 comments
- Cicada Language https://cicada-lang.org/ 2 comments
- GitHub - cicada-lang/cicada: Cicada Language https://github.com/cicada-lang/cicada 1 comment
- https://davidchristiansen.dk/tutorials/implementing-types-hs.pdf 1 comment
- Checking Dependent Types with Normalization by Evaluation: A Tutorial https://davidchristiansen.dk/tutorials/nbe/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - xieyuheng/cicada: Cicada Language
See how to search.