-
Notifications
You must be signed in to change notification settings - Fork 256
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.
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
some character, "λ" and "≡" #49
Comments
XeLaTeX should handle that fine. The build file looks like it is using XeLaTeX as its engine: https://github.com/sdiehl/write-you-a-haskell/blob/master/Makefile#L42 It might be environment dependent. |
xetex supports inline greek characters, although the font that I'm currently using for the monospace font (Source Code Pro) currently doesn't have Greek character support. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Thank you for your great work :-)
The following line's "λ" can be displayed in HTML, but can not be displayed correctly in PDF.
(Please ignore if my environment dependent)
003_lambda_calculus.md, line 358 (at pdf p.50):
maybe
The following lines' "λ" and "≡" can be displayed in HTML, but can not be displayed correctly in PDF.
005_evaluation.md, line 84 (at pdf p.69)
(\x. \y. y x) (2 + 2) λx. x + 1
005_evaluation.md, line 173 (at pdf p.71)
=> (\y.y (2 + 2)) λx. x + 1
006_hindley_milner.md, line 1286 (at pdf p.101)
λ: main
007_path.md, line 272-277 (at pdf p.109)
λ> id (1+2)
3
λ> :type (>>=)
(>>=) :: Monad m => m a -> (a -> m b) -> m b
λ> :set -ddump-rn
λ> :load test.fun
007_path.md, line 1235 (at pdf p.126)
f <=< g ≡ \x -> g x >>= f
(Because not yet been able to environment, sorry in this way)
The text was updated successfully, but these errors were encountered: