Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-07-07 03:56:31 +03:00
Code Issues Projects Releases Wiki Activity
master
Kind2/example
History
Nicolas Abril 69ea11eaa2 feat: Update tests to use expected names of types according to Kindex update
2023-05-10 09:34:10 +02:00
..
example.kind2 feat: Update tests to use expected names of types according to Kindex update 2023-05-10 09:34:10 +02:00
helloworld.kind2 Fixed broken links 2023-05-09 17:37:37 -03:00