Mac Malone 0c9f9ab37a feat: isTty (#3930) ... Adds `IO.FS.Handle.isTty` to check whether a handle is a Windows console or Unix terminal. Also adds an `isTty` field to `IO.FS.Stream`, so that this can be checked on, e.g., `stdout`.		2024-04-18 08:50:43 +00:00
..
FilePath.lean	fix: update System.FilePath.parent to handle edge cases for absolute paths (#3645)	2024-03-26 05:09:44 +00:00
IO.lean	feat: isTty (#3930)	2024-04-18 08:50:43 +00:00
IOError.lean	feat: log2 for Fin and UInts	2022-11-29 01:05:06 +01:00
Mutex.lean	chore: use deriving Nonempty	2022-12-22 03:48:15 +01:00
Platform.lean	feat: System.Platform.target (#3207)	2024-01-24 12:11:00 +00:00
Promise.lean	refactor: make Promise implementation opaque (#3273)	2024-02-09 10:43:41 +00:00
ST.lean	feat: code action resolvers	2022-10-20 11:20:42 -07:00
Uri.lean	chore: upstream solve_by_elim (#3408)	2024-02-21 01:16:04 +00:00