Add missing library file
This commit is contained in:
parent
06f8d7f72f
commit
39d01bd7d9
1 changed files with 3 additions and 0 deletions
3
courses/puc/2019/tspl2019.agda-lib
Normal file
3
courses/puc/2019/tspl2019.agda-lib
Normal file
|
@ -0,0 +1,3 @@
|
|||
name: tspl2019
|
||||
depend: standard-library plfa
|
||||
include: .
|
Loading…
Add table
Reference in a new issue