Slight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?
I think the question of whether field lines are real is more of a philosophical (of physics) question so it usually falls outside the scope of introductory material on E&M. However, some texts like Purcell and Morin do…
am i the only one for which programming language textbooks, papers, blog posts, etc. in racket are really hard to follow? the fact that the languages that is being operated on often looks exactly like racket makes it…
CEK[1] machines are very clean way of implementing continuations or other features that can be implemented in terms of them in a language with no support for lambdas or closures. they are also reasonably fast too. i…
Slight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?
I think the question of whether field lines are real is more of a philosophical (of physics) question so it usually falls outside the scope of introductory material on E&M. However, some texts like Purcell and Morin do…
am i the only one for which programming language textbooks, papers, blog posts, etc. in racket are really hard to follow? the fact that the languages that is being operated on often looks exactly like racket makes it…
CEK[1] machines are very clean way of implementing continuations or other features that can be implemented in terms of them in a language with no support for lambdas or closures. they are also reasonably fast too. i…