Pinned Repositories
agda-denotational
language-ext
C# functional language extensions - a base class library for functional programming
Prism
Prism is a framework for building loosely coupled, maintainable, and testable XAML applications in WPF, Windows 10 UWP, and Xamarin Forms.
language-ext
C# functional language extensions - a base class library for functional programming
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
FocusField
Group 015
ThereIsNoPie's Repositories
ThereIsNoPie/agda-denotational
ThereIsNoPie/language-ext
C# functional language extensions - a base class library for functional programming
ThereIsNoPie/Prism
Prism is a framework for building loosely coupled, maintainable, and testable XAML applications in WPF, Windows 10 UWP, and Xamarin Forms.