arend-lang / tutorial-code

Source code & exercises in Arend's documentation

https://arend-lang.github.io/documentation/tutorial

arend-lang/tutorial-code Stargazers

Copper
553224019
assist726
Axeel
AxeelAnder
beike-zh
breandan
breandan
Chris Lin
ChrisLinn
Lîm Tsú-thuàn
dannypsnl
Dmytro Mitin
DmytroMitin
Kadanstsev Georgii
FeorgeGeorge
Guilherme Silva
guilhermehas
Imran Malic Settuba
i-walker
Poincare
iamcxds
Kiva
imkiva
简
LittleJianCH
nem
NeM-T
Rholais Lii
Rholais
Sam I
saminfante
Shreck Ye
ShreckYe
Dukhanin Kirill
uiqkos
VitalyR
VitalyAnkh
vu3jej

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.