leonv/bsc-leon-vatthauer
1
0
Fork 0
mirror of https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git synced 2024-05-31 07:28:34 +02:00
Code Issues Projects Releases Packages Wiki Activity

remove pyg file

Browse source
This commit is contained in:
Leon Vatthauer 2024-02-25 21:40:54 +01:00
parent da4223e011
commit a9c587b1eb
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
1 changed files with 0 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
thesis/main.pyg
View file

@ -1,7 +0,0 @@
mutual
data Delay (A : Set) : Set where
now : A → Delay A
later : Delay′ A → Delay A
record Delay′ (A : Set) : Set where
coinductive
field force : Delay A