Tags · curry-packages / rewriting · GitLab

Tags give the ability to mark specific points in history as being important

v3.0.0 v3.0.0

ba29769c · Adapt to version3, add Data.Tuple.Extra for the moment · Nov 10, 2020

Download source code

zip tar.gz tar.bz2 tar
v2.0.0 v2.0.0

90b2527b · Imports updated · Jan 03, 2019

Download source code

zip tar.gz tar.bz2 tar
v0.0.1 v0.0.1

2d655d48 · Improves term printing for infix operators · Nov 01, 2018

Download source code

zip tar.gz tar.bz2 tar