mirror of
https://github.com/anoma/juvix.git
synced 2024-12-25 16:45:20 +03:00
4 lines
45 B
Plaintext
4 lines
45 B
Plaintext
|
name: minijuvix
|
||
|
|
include: src
|
||
|
|
depend: agda2hs
|