yogsototh/elm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
1569 commits 1 branch 8 tags 4.1 MiB
Commit graph

2 commits

Author SHA1 Message Date
Evan Czaplicki
7c19935d86 reprime when printing types 2013-08-14 00:44:40 -07:00
Evan Czaplicki
807076ad57 Add CSaveEnv, optimize CAnd, make it prettier 
CSaveEnv is a special constraint that indicates that the current
environment should be saved for later use.

(/\) now optimizes away arguments that are already CTrue.
 2013-07-19 17:48:41 +02:00