issues Search Results · repo:purescript/purescript.github.io language:HTML
Filter by
58 results
(69 ms)58 results
inpurescript/purescript.github.io (press backspace or delete to remove)Not a big deal, but it would have helped me figuring out where the source code of the official website is hosted, if the
name would have been purescript.org, and it s probably slightly better. As far as ...
andys8
- 4
- Opened on Feb 3, 2023
- #155
The video shows that the start page haskell.org behaves glitchy on mobile. You can scroll horizontally, but you shouldn
t be able to. This doesn t result in a terrible user experience, but still is an ...
- Opened on Feb 3, 2023
- #154
CSS variables have 95% support on caniuse.com. These variables are particularly useful for theming: a set of variables
representing colors, fonts, font sizes, spacing units, and more can be used when styling ...
thomashoneyman
- 1
- Opened on Sep 21, 2020
- #147
Reported by @kurtmilam in slack. https://purescript.org gets you an SSL error because you’re presented with a cert which
is only valid for github.com (according to some environments).
My environment is: ...
hdgarrood
- 2
- Opened on May 15, 2020
- #145
Since the book is being updated and we now have the https://book.purescript.org link, should we re-add the book to this
website?
JordanMartinez
- 1
- Opened on Apr 14, 2020
- #143
Currently the website mentions:
The recommended build tool for beginners is Pulp, which can be installed using npm: npm install -g pulp bower
I think it d be useful to first mention spago, then pulp ...
LiamGoodacre
- 2
- Opened on Jul 26, 2019
- #137
The basic problem: a beginner to PureScript has an initially-frustrating learning experience that is pointless because
the language s website seems to indicate that the Book (Purescript by Example) is ...
- 4
- Opened on Dec 15, 2018
- #133
I propose adding a link to my learning repo here since it (currently) has more up-to-date documentation than a number of
other materials.
- 3
- Opened on Sep 22, 2018
- #132
image
The certificate issued by Github (for *.github.io) is not valid for purescript.org. Since recently, Github supports
HTTPS for custom domains: https://blog.github.com/2018-05-01-github-pages-custom-domains-https/ ...
hrantzsch
- 3
- Opened on Aug 12, 2018
- #130
I must have forgotten when I did the redesign. I m thinking we can put it in a tooltip or in the page footer?
paf31
- Opened on Jan 27, 2018
- #127
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.