stefankoegel / clickyEvaluation
Visual tool for stepwise evaluation of simple Haskell expressions
☆20Updated 5 years ago
Alternatives and similar repositories for clickyEvaluation:
Users that are interested in clickyEvaluation are comparing it to the libraries listed below
- A tiny EDSL for making slides in PureScript☆26Updated 7 years ago
- ☆33Updated 4 years ago
- Relational programming for PureScript☆17Updated 8 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 6 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Reification of data structures using observable sharing☆28Updated 3 months ago
- Lambda calculus at the type level.☆20Updated 7 years ago
- Algebraic UI's in Purescript☆15Updated 4 years ago
- Aff wrappers for purescript-node-fs☆21Updated last year
- An experiment in functional interface design☆23Updated 8 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆13Updated 7 years ago
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- ☆14Updated 7 years ago
- Purescript bindings for the Ace editor☆19Updated 2 years ago
- being a thing I build on a Saturday☆28Updated 6 years ago
- purescript-behaviors in PSCi☆19Updated 5 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 5 years ago
- The Event type, extracted from purescript-behaviors☆23Updated 4 years ago
- A text editor zipper libary☆17Updated 3 months ago
- Extensible records for Idris☆26Updated 3 years ago
- Open records for Haskell☆22Updated 7 years ago
- Free applicative functors for PureScript☆27Updated 2 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 8 years ago
- Simple two-dimensional matrices backed by a flat array☆18Updated 4 years ago
- A monadic interface for DAG construction.☆24Updated 3 years ago
- Haskell types and parsers for software version numbers.☆20Updated 2 weeks ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago