Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-11 07:15:45 +03:00
Code Issues Projects Releases Wiki Activity

add polymorphic triples

Browse Source
This commit is contained in:
Rígille S. B. Menezes 2021-09-27 15:25:35 -03:00
parent ea93477de6
commit 3aa67a0b3b
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
base/Triple.kind Normal file
View File

@ -0,0 +1,7 @@
type Triple <A: Type, B: Type, C: Type> {
new(
fst: A
snd: B
trd: C
)
}