suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

rename dep2 requires -> dep

Browse Source
This commit is contained in:
Stephen Chang 2017-08-14 13:51:41 -04:00
parent fcc9429932
commit 7fc8bd8c15
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
turnstile/examples/tests/dep-assist-tests.rkt
View File

@ -1,4 +1,4 @@
#lang s-exp "../dep2-assist.rkt"
#lang s-exp "../dep-assist.rkt"
(require "rackunit-typechecking.rkt")
; Π → λ ∀ ≻ ⊢ ≫ ⇒

2
turnstile/examples/tests/dep-peano-tests.rkt
View File

@ -1,4 +1,4 @@
#lang s-exp "../dep2.rkt"
#lang s-exp "../dep.rkt"
(require "rackunit-typechecking.rkt")
; Π → λ ∀ ≻ ⊢ ≫ ⇒

2
turnstile/examples/tests/dep-tests.rkt
View File

@ -1,4 +1,4 @@
#lang s-exp "../dep2.rkt"
#lang s-exp "../dep.rkt"
(require "rackunit-typechecking.rkt")
; Π → λ ∀ ≻ ⊢ ≫ ⇒