inpla.git - A fork of Inpla, a multi-threaded parallel interpreter of interaction nets

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update Gentle_introduction_Inpla.md	Devine Lu Linvega	2023-03-22	1	-1/+1
\|
*	Update Gentle_introduction_Inpla.md	Devine Lu Linvega	2023-03-22	1	-1/+1
\|
*	Update Gentle_introduction_Inpla.md	Devine Lu Linvega	2023-03-22	1	-1/+1
\|
*	Update Gentle_introduction_Inpla.md	Devine Lu Linvega	2023-03-22	1	-1/+1
\|
*	Using both r and result in the various examples	Devine Lu Linvega	2023-03-22	1	-3/+3
\| \| \|	Corrected two, but there are other instances where the operation is done using `r`, or `result` interchangeably.
*	Merge branch 'develop'	Shinya Sato	2023-03-13	1	-5/+5
\|\
\| *	Update Changelog.md	Shinya Sato	2023-03-13	1	-5/+5
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-03-11	2	-1/+1
\|\\|
\| *	v0.10.7	Shinya Sato	2023-03-11	2	-1/+1
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-03-11	5	-23/+106
\|\\|
\| *	v10.0.7	Shinya Sato	2023-03-11	5	-23/+106
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-02-06	1	-1/+1
\|\\|
\| *	v0.10.6	Shinya Sato	2023-02-06	1	-1/+1
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-02-06	5	-43/+103
\|\\|
\| *	v0.10.6	Shinya Sato	2023-02-06	5	-43/+103
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-02-03	1	-2/+2
\|\\|
\| *	Update Changelog.md	Shinya Sato	2023-02-03	1	-2/+2
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-02-03	3	-5/+14
\|\\|
\| *	v0.10.5	Shinya Sato	2023-02-03	3	-5/+14
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-02-02	1	-10/+22
\|\\|
\| *	Update Gentle_introduction_Inpla.md	Shinya Sato	2023-02-02	1	-10/+22
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-01-28	5	-14/+68
\|\\|
\| *	v0.10.4	Shinya Sato	2023-01-28	1	-1/+1
\| \|
\| *	v0.10.4	Shinya Sato	2023-01-28	5	-14/+68
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-01-12	3	-23/+22
\|\\|
\| *	v0.10.3	Shinya Sato	2023-01-12	3	-23/+22
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2023-01-02	1	-4/+14
\|\\|
\| *	Update Changelog.md	Shinya Sato	2023-01-02	1	-4/+14
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-12-29	1	-1/+5
\|\\|
\| *	Update Changelog.md	Shinya Sato	2022-12-29	1	-1/+5
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-12-29	2	-0/+67
\|\\|
\| *	v0.10.2	Shinya Sato	2022-12-29	1	-1/+1
\| \|
\| *	v10.0.2	Shinya Sato	2022-12-29	2	-0/+67
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-12-29	1	-0/+39
\|\\|
\| *	Update map.in	Shinya Sato	2022-12-29	1	-5/+0
\| \|
\| *	Create map.in	Shinya Sato	2022-12-29	1	-0/+44
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-12-29	5	-72/+177
\|\\|
\| *	v10.0.2	Shinya Sato	2022-12-29	5	-72/+177
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-12-22	5	-62/+178
\|\\|
\| *	v0.10.1	Shinya Sato	2022-12-22	5	-62/+178
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-10-27	1	-1/+1
\|\\|
\| *	Update README.md	Shinya Sato	2022-10-27	1	-1/+1
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-10-22	1	-2/+2
\|\\|
\| *	Update README.md	Shinya Sato	2022-10-22	1	-2/+2
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-10-22	1	-2/+3
\|\\|
\| *	Update README.md	Shinya Sato	2022-10-22	1	-2/+3
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-09-28	1	-3/+5
\|\\|
\| *	Update Changelog.md	Shinya Sato	2022-09-28	1	-3/+5
\| \|
* \|	Merge branch 'develop'	Shinya Sato	2022-09-17	19	-119/+498
\|\\|
\| *	v0.10.0	Shinya Sato	2022-09-17	19	-119/+498
\| \|