Jaak / TinyOutsideInLinks
Small implementation of OutsideIn(X) type checking algorithm
☆31Updated 10 years ago
Alternatives and similar repositories for TinyOutsideIn
Users that are interested in TinyOutsideIn are comparing it to the libraries listed below
Sorting:
- Compositional type checking for Haskell☆37Updated 14 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- An efficient graph library for Haskell☆39Updated 3 weeks ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Automatic type class law checking.☆24Updated 5 months ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- CLI tool for Hackage☆26Updated 2 weeks ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- Show programming language printed values in a web UI☆24Updated 6 years ago
- A monad for managed values☆50Updated 2 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Open records for Haskell☆22Updated 7 years ago
- Category theory concepts in type classes and instances.☆22Updated last month
- rewrite rules for type-level equalities☆62Updated last year
- higher-kinded data☆30Updated 2 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated last week
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆37Updated last month
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Simple reflection of expressions☆33Updated 4 years ago