- Committer: Emmanuel Gunther
- Date: 2017-10-02 17:32:24 UTC
- Revision ID: git-v1:46db807520182886499101a1e43be087c250af45
error con arbitrary en Proof, parchado
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
docs
|
2 | 12 years ago | Miguel Pagano | Added documentation directory with initial require |
|
||
|
Equ
|
8 | 12 years ago | Miguel Pagano | Primera versión del diseño modular |
|
||
|
ProofExamples
|
296 | 11 years ago | Miguel Pagano | Merge branch 'master' of github.com:miguelpagano/e |
|
||
|
TestSuite
|
32 | 12 years ago | Miguel Pagano | Preparing to merge typechecker with unification |
|
||
.travis.yml |
374 | 10 years ago | Miguel Pagano | Added travis file | 18 bytes |
|
|
|
equ.cabal |
390.1.2 | 8 years ago | Emmanuel | Matching AC | 3 KB |
|
|
|
LICENSE |
386 | 9 years ago | Miguel Pagano | Change in the name of an axiom. | 34.2 KB |
|
|
|
README.md |
376 | 10 years ago | Miguel Pagano | Update README.md | 296 bytes |
|
|
|
Setup.hs |
383 | 10 years ago | Miguel Pagano | Fixed some warnings by cabal check. | 46 bytes |
|
|