Forwarded from Pure & constructive mathematics in theory and use (Univalence (apparently does haskell tech support))
Syntax and Semantics of Quantitative Type Theory
https://bentnib.org/quantitative-type-theory.pdf
https://bentnib.org/quantitative-type-theory.pdf
Forwarded from Pure & constructive mathematics in theory and use (uhhh greasy moist ig idk)
On the Effects of Static Typing in Detecting Public Bugs
http://ttendency.cs.ucl.ac.uk/projects/type_study/
http://ttendency.cs.ucl.ac.uk/projects/type_study/
Forwarded from Brett G.
Just opened a bug report for WIP Mercury on GNU Guix. Hopefully it will be added soon. :) If you want to contribute to help getting it added PLEASE do help.
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38603
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38603
debbugs.gnu.org
GNU bug report logs - #38603 [WIP Mercury 0/2] Add Mercury.
Previous Next
Forwarded from GNU Propaganda (Archived)
Leah Rowe, the founder of Libreboot is in financial trouble and needs our help. We, as a community of people know that unexpected life catastrophes can affect any and all of us. If you are able to help Leah make it through this, to be able to eat please offer your help.
Free software is love for all.
https://minifree.org
Free software is love for all.
https://minifree.org