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

tidying Bisimulation

Browse source
This commit is contained in:
wadler 2018-07-03 18:10:39 -03:00
parent cb13cab04d
commit 1991c84cad
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/plta/More.lagda
View file

@ -46,6 +46,7 @@ infixr 9 _`×_
infix 5 ƛ_ infix 5 ƛ_
infix 5 μ_ infix 5 μ_
infix 6 _`∷_
infixl 7 _·_ infixl 7 _·_
infix 8 `suc_ infix 8 `suc_
infix 9 `_ infix 9 `_