Prathyush issues

Results 141 issues of


                                            Prathyush

What is profunctor optics? How does it figure in the scheme of things?

Add Shift/Reset and Felleisen’s operator

Find out what how Plotkin and Power used Lawvere’s idea to model algebraic theory of effects in categorical semantics

Investigate these programming languages

Kernel: https://web.cs.wpi.edu/~jshutt/kernel.html Charity: http://pll.cpsc.ucalgary.ca/charity1/www/literature.html Formality: https://github.com/moonad/formality

Find out how SSA and Functional Programming are related

Resources: https://www.cs.princeton.edu/~appel/papers/ssafun.pdf https://t.co/n2VamqNW2h?amp=1

Analyze and add these Computer Modern fonts

https://checkmyworking.com/cm-web-fonts/

Check if there are good fonts in Ghostscript worth curating

https://web.archive.org/web/20021023155414/http://www.geocrawler.com/archives/3/378/1996/5/0/2064811/

Add Curry, Mercury, and other functional logic programming languages

https://mercurylang.org https://curry.pages.ps.informatik.uni-kiel.de/curry-lang.org/

Investigate Morloc and Yona

Morloc: https://github.com/morloc-project/morloc Yona: https://github.com/yona-lang/yona