unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-11 17:16:30 +03:00
Code Issues Projects Releases Wiki Activity
7365c5aa79
unison/unison-core
History
Paul Chiusano 203078c0fd Merge remote-tracking branch 'origin/trunk' into feature/2112
2021-07-13 22:00:20 -04:00
..
src/Unison Merge remote-tracking branch 'origin/trunk' into feature/2112 2021-07-13 22:00:20 -04:00
LICENSE wip; next is add term to index 2020-10-13 16:54:08 -04:00
package.yaml Default to optimized = true 2021-06-03 11:23:51 -05:00
unison-core1.cabal Default to optimized = true 2021-06-03 11:23:51 -05:00