Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Added These data types

Browse source
This commit is contained in:
Jack Hodgkinson 2022-03-04 09:27:41 +00:00
parent 037f8729b4
commit 08b8dd1c46
6 changed files with 114 additions and 139 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora.cabal
View file

@ -125,6 +125,8 @@ library
other-modules:
Agora.Utils
Agora.Utils.Value
Plutarch.Api.V1.These
Plutarch.These
hs-source-dirs: src