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

Cherry-picked cleanup of logic intro to master

Browse source
This commit is contained in:
wadler 2018-01-28 15:15:30 -02:00 committed by Wen Kokke
parent 806b48d88c
commit b93d1168be
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Logic.lagda
View file

@ -4,8 +4,6 @@ layout : page
permalink : /Logic permalink : /Logic
--- ---
Hello! Did this change propogate?
This chapter introduces the basic concepts of logic, by observing This chapter introduces the basic concepts of logic, by observing
that each concept of logic is represented by a corresponding that each concept of logic is represented by a corresponding
data type. data type.