..
AR.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
Common.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
DA.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
DE.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
EN.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
ES.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
ET.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
FR.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
GA.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
ID.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
IT.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
JA.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
KO.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
MY.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
NB.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
NL.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
PL.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
PT.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
RO.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
RU.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
SV.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
Tests.hs
Initial commit
2017-03-08 10:33:56 -08:00
TR.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
Types.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
UK.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
VI.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00
ZH.hs
Move onto dependent-sum instead of custom local data Some
2017-03-15 10:34:17 -07:00