|
basic001
|
Add operations on primitives
|
2019-05-08 10:21:00 +01:00 |
|
basic002
|
Support eta in unification
|
2019-05-07 15:06:00 +01:00 |
|
basic003
|
Support eta in unification
|
2019-05-07 15:06:00 +01:00 |
|
basic004
|
Add as patterns
|
2019-05-09 16:48:09 +01:00 |
|
basic005
|
Give correct multiplicity count to arguments
|
2019-05-12 14:24:24 +01:00 |
|
basic006
|
Add test for failed delayed elaborator
|
2019-05-12 16:03:04 +01:00 |
|
eta001
|
Support eta in unification
|
2019-05-07 15:06:00 +01:00 |
|
eta002
|
Store resolved ids in pattern names
|
2019-05-11 13:00:12 +01:00 |
|
perf001
|
Added test framework (copied from Blodwen)
|
2019-05-07 10:43:02 +01:00 |
|
perf002
|
Give correct multiplicity count to arguments
|
2019-05-12 14:24:24 +01:00 |
|
perf003
|
Added test framework (copied from Blodwen)
|
2019-05-07 10:43:02 +01:00 |
