Description: Haskell is a statically typed, purely functional programming language known for its strong static type system, sophisticated type inference, and non-strict evaluation. It is used in education, academia, and some commercial applications.
Type: software
Description: Typora is a markdown editor and reader for Windows, macOS, and Linux. It provides a seamless writing and reading experience with markdown files, removing the preview window and allowing users to focus on content. Typora offers features like syntax highlighting, latex support, code fences, table formatting, and more.
Type: software