29 Commits

Author	SHA1	Message	Date
Yan Mendes	e5a653e5d2	Update links etc	2024-06-28 12:31:06 -03:00
Yan Mendes	2b27749200	added disclaimer	2024-05-16 23:22:48 -03:00
Yan Mendes	2d8ec862dc	update to kind1	2024-05-16 15:29:56 -03:00
Yan Mendes	114ea8bf47	Fixed wrong email name	2023-09-10 17:46:27 -03:00
Yan Mendes	40ef889ae5	Fixed old links	2023-09-10 17:45:55 -03:00
Yan Mendes	2db12fb88c	Fix kind install	2023-05-09 18:13:39 -03:00
Yan Mendes	d14ca121ed	Fixed broken links	2023-05-09 17:30:05 -03:00
Gabrielle Guimarães de Oliveira	3ead2de881	docs: fix top level declarations names cases	2023-03-23 08:45:45 -03:00
Felipe G	3aefd0e539	feat: updated readme style	2023-01-17 09:58:25 -03:00
felipegchi	3f434a1aff	chore: improved readme a little bit	2023-01-17 09:49:34 -03:00
Nick Reilingh	b20b0e6c7b	correct 'inductivelly' typo	2023-01-15 14:17:01 -05:00
Derenash	31f186d1c8	Update README.md ... Fixed email support.kind	2022-12-20 23:13:40 -03:00
Yan Mendes	9cae38d604	Update README.md	2022-12-20 22:57:44 -03:00
Yan Mendes	cdcbf80822	Update README.md	2022-12-20 22:55:30 -03:00
Derenash	46626d98c8	Update README.md ... Added a line break on contacts	2022-12-20 21:38:01 -03:00
Yan Mendes	c466250375	Update README.md ... adding support and feedback emails	2022-12-20 21:34:00 -03:00
felipegchi	53f82b4f66	fix: readme and added rust-toolchain	2022-12-01 11:33:54 -03:00
mjh	10e496dcd2	Fixed a typo in the map function example	2022-10-04 00:45:09 -07:00
Gimgim	dabcdd913d	Fix typo	2022-09-21 15:45:33 +05:30
Victor Maia	1cca987277	Move benchmarks out, update README	2022-09-02 14:23:13 -03:00
Victor Maia	c00e729952	Expand README	2022-07-23 15:25:57 -03:00
Victor Taelin	ba6bd211d0	Update README.md	2022-07-23 13:23:32 -03:00
Victor Taelin	de58b84a5f	Update README.md	2022-07-23 13:21:01 -03:00
Victor Taelin	bb875065f3	Update README.md	2022-07-23 13:20:42 -03:00
Victor Maia	2078017266	Link to Wikind	2022-07-20 02:16:06 -03:00
Victor Taelin	1985181586	Update README.md	2022-07-18 23:12:35 -03:00
Victor Maia	6c1c5ec989	Write README.md	2022-07-18 22:47:18 -03:00
Victor Maia	1ee09c0b2b	Add run instruction	2022-07-13 23:57:15 -03:00
Victor Maia	41e2518ddd	Initial working type-checker	2022-07-13 23:19:47 -03:00