tactics

Deep-embedded combinators for strategic rewriting.

MIT License

Stars
15
View Code on GitHub
Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

Badges
Extracted from project README
Hackage MIT license
Related Projects
hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77
articles

Miscellaneous articles. The readme is the table of contents.

07 Feb 2013 1,239
haskell-study-plan

An opinionated list of resources for learning Haskell

28 Sep 2018 867
optparse-applicative

Applicative option parser

11 May 2012 900
fp-course

Functional Programming Course

30 Jun 2011 1,027
bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

16 Jun 2012 121
HaskSymb

An Experiment in Haskell Symbolic Algebra

07 May 2012 69
mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

21 Nov 2019 61
arith

Interpreter

14 Feb 2022 8
effects

An implementation of "Freer Monads, More Extensible Effects".

09 Aug 2016 20
ian

Personal megarepo

01 Aug 2019 7
mtl

The Monad Transformer Library

25 Jan 2012 353
polysemy

higher-order, no-boilerplate monads

13 Feb 2019 1,025
recschemes

Text and Haskell source for my blog series on recursion schemes.

12 Oct 2017 43
haskell-rascal

Learning haskell with a rascal!

24 Mar 2014 13