haskell-equ

lp:haskell-equ

Created by Miguel Pagano on 2014-04-05 and last modified on 2017-10-02

Get this branch:: bzr branch lp:haskell-equ

Branch merges

This import branch has no branches proposed for merge into it.

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Miguel Pagano

Project:: haskell-equ

Status:: Development

Import details

Import Status: Failed

This branch is an import of the HEAD branch of the Git repository at https://github.com/miguelpagano/equ.git.

The import has been suspended because it failed 5 or more times in succession.

Last successful import was on 2024-02-14.

Import started on 2024-02-18 on juju-98ee42-prod-launchpad-codeimport-4 and finished on 2024-02-18 taking 2 seconds — see the log

Import started on 2024-02-16 on juju-98ee42-prod-launchpad-codeimport-4 and finished on 2024-02-16 taking 3 seconds — see the log

Import started on 2024-02-15 on juju-98ee42-prod-launchpad-codeimport-3 and finished on 2024-02-15 taking 10 seconds — see the log

Import started on 2024-02-15 on juju-98ee42-prod-launchpad-codeimport-2 and finished on 2024-02-15 taking 5 seconds — see the log

Recent revisions

394. By Emmanuel Gunther <email address hidden> on 2017-10-02

error con arbitrary en Proof, parchado

393. By Miguel Pagano on 2017-04-27

Merge pull request #35 from miguelpagano/equ-1.0

Removing Arbitrary instance for contexts.

392. By Ale Gadea <email address hidden> on 2016-05-06

Merge con los cambios en matching AC.

391. By Ale Gadea <email address hidden> on 2016-04-19

Acomodando axioma de definición de consecuencia.

390. By Emmanuel <email address hidden> on 2016-02-24

Bug fix en matching

389. By Miguel Pagano on 2015-12-14

More efficient combination of two substitutions.
Closes #34, alexgadea/fun#17, and alexgadea/fun-gui#32.

388. By maico <maico@maico> on 2015-08-25

Restaurando la definición y exportación de arithAxioms y listAxioms. No se define folAxioms porque parece que efectivamente no lo estamos utilizando.

387. By Emmanuel <email address hidden> on 2015-08-24

Generacion de reglas de asociatividad arreglado

386. By Miguel Pagano on 2014-05-05

Change in the name of an axiom.

385. By Miguel Pagano on 2014-04-06

Removed debian directory

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

This branch contains Public information

Everyone can see this information.

Subscribers

Miguel Pagano