mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 02:25:39 +03:00
commit transcript diff that fixes forall display bug
This commit is contained in:
parent
aa2107982f
commit
fd74c51100
@ -123,12 +123,11 @@ After adding to the codebase, here's the rewritten source:
|
||||
ex1 = List.map Nat.increment [1, 2, 3, 4, 5, 6, 7]
|
||||
|
||||
rule1 :
|
||||
∀ i g o g1.
|
||||
(i ->{g} o)
|
||||
-> Nat
|
||||
-> Rewrites
|
||||
( RewriteTerm Nat Nat,
|
||||
RewriteTerm (i ->{g, g1} o) (i ->{g} o))
|
||||
(i ->{g} o)
|
||||
-> Nat
|
||||
-> Rewrites
|
||||
( RewriteTerm Nat Nat,
|
||||
RewriteTerm (i ->{g, g1} o) (i ->{g} o))
|
||||
rule1 f x =
|
||||
use Nat +
|
||||
@rewrite
|
||||
|
Loading…
Reference in New Issue
Block a user