michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed symbol for numeric constants

Browse source
This commit is contained in:
Philip Wadler 2017-07-14 10:59:03 +01:00
parent a43bdb46c7
commit 5b63add070
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/StlcProp.lagda
View file

@ -815,7 +815,7 @@ data Term′ : Set where
`_ : Id → Term′ `_ : Id → Term′
λ[_∶_]_ : Id → Type′ → Term′ → Term′ λ[_∶_]_ : Id → Type′ → Term′ → Term′
_·_ : Term′ → Term′ → Term′ _·_ : Term′ → Term′ → Term′
‶_ : Data.Nat.ℕ → Term′ #_ : Data.Nat.ℕ → Term′
_+_ : Term′ → Term′ → Term′ _+_ : Term′ → Term′ → Term′
_-_ : Term′ → Term′ → Term′ _-_ : Term′ → Term′ → Term′
if0_then_else_ : Term′ → Term′ → Term′ → Term′ if0_then_else_ : Term′ → Term′ → Term′ → Term′