bsc-leon-vatthauer/slides/code-examples/examples.agda-lib

3 lines
50 B
Text
Raw Permalink Normal View History

2024-01-03 19:51:04 +01:00
name: examples
include: .
depend: standard-library