User talk:Ruud Koot/Computer science/Strong and weak typing
"exceptions would be Coq, STLC"
[edit]This should be explained with links/examples or using real terminology. Ushkin N (talk) 13:29, 25 May 2016 (UTC)
- What terminology is not real? —Ruud 15:54, 25 May 2016 (UTC)
- This question makes no sense. It wasn't shown why Coq, STLC are exceptions. Ushkin N (talk) 17:27, 25 May 2016 (UTC)