rest

A library for rewriting

BSD-3-CLAUSE License

Stars
4
View Code on GitHub
Ecosystems: Haskell

Bot releases are visible (Hide)

rest - v0.4.2 Latest Release

Published by zgrannan over 1 year ago

Add graphs dir to dist

rest - v0.4.1

Published by zgrannan almost 2 years ago

Raises the upper bound for the time dependency.

rest - v0.3.0

Published by zgrannan over 2 years ago

rest - v0.2.0

Published by zgrannan over 2 years ago

Related Projects
tree-sitter-haskell

Haskell grammar for tree-sitter.

18 Feb 2016 153
haskell-study-plan

An opinionated list of resources for learning Haskell

28 Sep 2018 867
alga

Algebraic graphs

05 Dec 2016 716
hasktran

A compiler for FRACTRAN written in Haskell.

19 Jan 2020 5
effects

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

09 Aug 2016 20
hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77
fp-course

Functional Programming Course

30 Jun 2011 1,027
free-alacarte

Free monads based on intuitions from the Data types à la Carte paper. Combine functors and make e...

02 Sep 2024 10
modal-tableau-interpolation

Modal Tableau with Interpolation in Haskell

27 Aug 2020 2
itt

Tiny dependent calculus with inference of irrelevance and erasure

08 Feb 2019 15
jace

just another compiler experiment

04 Jan 2017 14
mini-haskell

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

21 Nov 2019 61
bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

16 Jun 2012 121
tactics

Deep-embedded combinators for strategic rewriting.

09 Dec 2019 15
r5rs-denot

A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.

29 Mar 2019 19