c

curryhoward_2.11

Automatic code generation from function types using the Curry-Howard correspondence
https://github.com/Chymyst/curryhoward
Apache License, Version 2.0
io.chymyst
Sergei Winitzki
using correspondence automatic howard code from types generation curry function
Aggregated version Version Update time
0.3 0.3.8 Aug 23, 2021
0.3.7 Apr 03, 2018
0.3.6 Mar 30, 2018
0.3.5 Mar 29, 2018
0.3.4 Feb 26, 2018
0.3.3 Feb 11, 2018
0.3.2 Jan 27, 2018
0.3.1 Jan 26, 2018
0.3.0 Jan 25, 2018
0.2 0.2.4 Jan 22, 2018
0.2.3 Jan 16, 2018
0.2.2 Jan 02, 2018
0.2.1 Dec 29, 2017
0.2.0 Dec 28, 2017
0.1 0.1.0 Dec 26, 2017
15 Records