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

Renamed post.

Browse source
This commit is contained in:
Wen Kokke 2020-07-14 19:38:56 +01:00
parent 9ad1787a58
commit 1fe4b0b407
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
_posts/2019-07-12-changes-to-plfa.md → _posts/2019-07-12-migration-to-2.6.0.1.md
View file

@ -1,6 +1,6 @@
--- ---
layout : post layout : post
title : "Migration to Agda 2.6" title : "Migration to Agda 2.6.0.1"
--- ---
Today, we made several major changes to the PLFA infrastructure! Today, we made several major changes to the PLFA infrastructure!