zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-20 02:47:34 +03:00
Code Issues Packages Projects Releases Wiki Activity
21,706 Commits 667 Branches 720 Tags 178 MiB
36d51fe4a5
Commit Graph

3 Commits

Author SHA1 Message Date
Marshall Bowers
8ba392bba6
purescript: Upgrade zed_extension_api to v0.0.6 (#15181) 
This PR upgrades the PureScript extension to use v0.0.6 of the
`zed_extension_api`.

Release Notes:

- N/A
 2024-07-25 08:55:16 -04:00
Marshall Bowers
181dc86b48
Fix typo in PureScript extension's struct name (#9831) 
This PR fixes a copy/paste typo in the name of the PureScript
extension's struct name.

Release Notes:

- N/A
 2024-03-26 16:29:55 -04:00
Marshall Bowers
b8ef97015c
Extract PureScript support into an extension (#9824) 
This PR extracts PureScript support into an extension and removes the
built-in PureScript support from Zed.

Release Notes:

- Removed built-in support for PureScript, in favor of making it
available as an extension. The PureScript extension will be suggested
for download when you open a `.purs` file.
 2024-03-26 13:55:46 -04:00