Body: <p>Do you know of any courses using Haskell to illustrate Computational Theory topics?</p>
  
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2020-05-13T20:07:19.830Z
Comments.Text: Is this for teaching yourself, or for teaching others?
Comments.UserDisplayName: Ben I.
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2020-05-13T23:46:53.570Z
Comments.Text: It's for teaching others.
Comments.UserDisplayName: Drimades Boy
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2020-05-14T01:12:43.727Z
Comments.Text: 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.
Comments.UserDisplayName: Ben I.
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2020-05-14T03:02:13.683Z
Comments.Text: You may find this useful http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/
Comments.UserDisplayName: Rushi
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2020-05-14T03:03:24.003Z
Comments.Text: @BenI. Would you have any of the scheme+CT stuff accessible?
Comments.UserDisplayName: Rushi
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2020-05-14T14:14:49.667Z
Comments.Text: @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.
Comments.UserDisplayName: Ben I.
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2020-05-15T02:52:53.390Z
Comments.Text: @BenI. Regular Languages, Context-Free Languages, Turing Machines, Decidability, Reductions, etc.
Comments.UserDisplayName: Drimades Boy
Tags: <resource-request><cs-theory><complexity-theory>
Title: Computer Science Theory with Haskell?
ThreadText: # Computer Science Theory with Haskell?
  
  (Asked by: username_0 on 2020-05-13)
  
  Do you know of any courses using Haskell to illustrate Computational Theory topics?
  
  **Tags:** resource-request, cs-theory, complexity-theory
  
  > **Comments:**
  > **username_1**: Is this for teaching yourself, or for teaching others?  
  > **username_0**: It's for teaching others.  
  > **username_1**: 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.  
  > **username_2**: You may find this useful http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/  
  > **username_2**: @BenI. Would you have any of the scheme+CT stuff accessible?  
  > **username_1**: @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.  
  > **username_0**: @BenI. Regular Languages, Context-Free Languages, Turing Machines, Decidability, Reductions, etc.  
  
  ---
  
  ## 0 answers
  
  