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