search

plfa / plfa.github.io

An introduction to programming language theory in Agda
https://plfa.github.io
Creative Commons Attribution 4.0 International
1.37k stars 314 forks source link

Part 3 not in table of contents? #425

Closed adamse closed 5 years ago

adamse commented 5 years ago

Part 3 is not visible on the "frontpage" of the book. But the pages seem to be available of you guess the url, ie https://plfa.github.io/Adequacy/...

Is this on purpose?

wenkokke commented 5 years ago

Yes, part 3 is still in beta. See https://plfa.github.io/beta/

adamse commented 5 years ago

I see, thank you!