Skip to content

Issues: sdiehl/write-you-a-haskell

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 28 Closed
22 Open 28 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Error in substitution algorithm
#116 opened Nov 26, 2022 by brianberns
1
Liberate this proprietary work
#115 opened Nov 23, 2021 by throwaway1037
18
Doesn't it unit in line 34?
#114 opened Jul 1, 2021 by VhRvo
Addition does not work in poly
#110 opened Jun 19, 2020 by andrewthad
Unable to compile with current toolchain
#109 opened Jun 14, 2020 by mouse07410
1
Seems dead
#108 opened Jun 11, 2020 by pyrofolium
3
Error in characterization of free theorem for functors
#104 opened Apr 19, 2019 by dfoxfranke
includes.hs: createProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
#102 opened Jan 20, 2019 by pxc3113
Cabal-simple_mPHDZzAJ_1.22.5.0_ghc-7.10.3: can't find source for Main in .
#101 opened Jan 20, 2019 by pxc3113
Parser/Type error for + and -
#98 opened Jun 18, 2017 by jonmountjoy
2
Error in T-Lam Rule in chapter 5
#96 opened May 24, 2017 by ankitrokdeonsns
HM chapter on website needs sync
#95 opened Apr 23, 2017 by ngzhian
Is this project dead? :(
#93 opened Feb 26, 2017 by michalczaplinski
12
Cabal & Stack has nothing on Stack?
#92 opened Feb 11, 2017 by tommythorn
SKK /= I in chapter 4
#88 opened Sep 1, 2016 by reuleaux
2
Paragraph on capture-avoiding substitution (lambda calculus chapter) is confusing
#62 opened Apr 7, 2015 by yanok
2
RSS status?
#60 opened Apr 2, 2015 by kach
10
some character, "λ" and "≡"
#49 opened Feb 6, 2015 by takenobu-hs
2
test cases for poly implementation
#45 opened Jan 27, 2015 by sdiehl
2
rewrite poly text writing
#43 opened Jan 25, 2015 by sdiehl
@sdiehl
poly: more parsing quirks bug
#41 opened Jan 21, 2015 by chsievers
parsing function application in poly bug
#34 opened Jan 18, 2015 by chsievers
@sdiehl
ProTip! Type g i on any issue or pull request to go back to the issue listing page.