Do you know of any courses using Haskell to illustrate Computational Theory topics?
Asked
Active
Viewed 66 times
0
-
Is this for teaching yourself, or for teaching others? – Ben I. May 13 '20 at 20:07
-
It's for teaching others. – Drimades Boy May 13 '20 at 23:46
-
Could you add some more details about what you're looking for and why? With so little to go on (and with a yes or no question), you are limiting your answers to a very narrow band. I teach computational theory using Scheme, for instance. – Ben I. May 14 '20 at 01:12
-
1You may find this useful http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/ – Rusi May 14 '20 at 03:02
-
@BenI. Would you have any of the scheme+CT stuff accessible? – Rusi May 14 '20 at 03:03
-
@Rusi It's not, though if you want to ping me in the [chat room](https://chat.stackexchange.com/rooms/59174/the-classroom), I'd be glad to describe what I do. – Ben I. May 14 '20 at 14:14
-
@BenI. Regular Languages, Context-Free Languages, Turing Machines, Decidability, Reductions, etc. – Drimades Boy May 15 '20 at 02:52