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
大版本 版本 最近更新
0.3 0.3.8 2021-08-23 19:05:33
0.3.7 2018-04-03 09:58:24
0.3.6 2018-03-30 11:31:34
0.3.5 2018-03-29 09:40:05
0.3.4 2018-02-26 10:11:52
0.3.3 2018-02-11 15:42:38
0.3.2 2018-01-27 14:34:25
0.3.1 2018-01-26 16:01:16
0.3.0 2018-01-25 14:06:10
0.2 0.2.4 2018-01-22 17:46:00
0.2.3 2018-01-16 14:57:41
0.2.2 2018-01-02 14:56:00
0.2.1 2017-12-29 06:26:53
0.2.0 2017-12-28 15:34:46
0.1 0.1.0 2017-12-26 05:00:39
共15条记录