FilesExpand file tree

master

/

ok

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

 

History

History

History

 

 

master

/

ok

/

Copy path

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
ok0000_emptyFile.fram		ok0000_emptyFile.fram
ok0001_id.fram		ok0001_id.fram
ok0002_poly.fram		ok0002_poly.fram
ok0003_local.fram		ok0003_local.fram
ok0004_fnArg.fram		ok0004_fnArg.fram
ok0005_let.fram		ok0005_let.fram
ok0006_fnArg.fram		ok0006_fnArg.fram
ok0007_letArg.fram		ok0007_letArg.fram
ok0008_idHandler.fram		ok0008_idHandler.fram
ok0009_purityRestriction.fram		ok0009_purityRestriction.fram
ok0010_implicit.fram		ok0010_implicit.fram
ok0011_implicit.fram		ok0011_implicit.fram
ok0012_adt.fram		ok0012_adt.fram
ok0013_emptyADT.fram		ok0013_emptyADT.fram
ok0014_arrows.fram		ok0014_arrows.fram
ok0015_ctor.fram		ok0015_ctor.fram
ok0016_trivialMatch.fram		ok0016_trivialMatch.fram
ok0017_wildcard.fram		ok0017_wildcard.fram
ok0018_namePattern.fram		ok0018_namePattern.fram
ok0019_simplePattern.fram		ok0019_simplePattern.fram
ok0020_patternMatch.fram		ok0020_patternMatch.fram
ok0021_simpleMatch.fram		ok0021_simpleMatch.fram
ok0022_deepMatch.fram		ok0022_deepMatch.fram
ok0023_letPattern.fram		ok0023_letPattern.fram
ok0024_letFunc.fram		ok0024_letFunc.fram
ok0025_letFuncImplicit.fram		ok0025_letFuncImplicit.fram
ok0026_funSugar.fram		ok0026_funSugar.fram
ok0027_explicitApp.fram		ok0027_explicitApp.fram
ok0028_patArg.fram		ok0028_patArg.fram
ok0029_handle.fram		ok0029_handle.fram
ok0030_bt.fram		ok0030_bt.fram
ok0031_explicitArg.fram		ok0031_explicitArg.fram
ok0032_dataArg.fram		ok0032_dataArg.fram
ok0033_higherKinds.fram		ok0033_higherKinds.fram
ok0034_schemes.fram		ok0034_schemes.fram
ok0035_schemes.fram		ok0035_schemes.fram
ok0036_schemeAnnot.fram		ok0036_schemeAnnot.fram
ok0037_checkScheme.fram		ok0037_checkScheme.fram
ok0038_explicitArg.fram		ok0038_explicitArg.fram
ok0039_polymorphicImplicit.fram		ok0039_polymorphicImplicit.fram
ok0040_polymorphicFields.fram		ok0040_polymorphicFields.fram
ok0041_existentialTypes.fram		ok0041_existentialTypes.fram
ok0042_existentialTypes.fram		ok0042_existentialTypes.fram
ok0043_implicitCtorArgs.fram		ok0043_implicitCtorArgs.fram
ok0044_implicitCtorArgs.fram		ok0044_implicitCtorArgs.fram
ok0045_recursiveData.fram		ok0045_recursiveData.fram
ok0046_mutualDataRec.fram		ok0046_mutualDataRec.fram
ok0047_namedParam.fram		ok0047_namedParam.fram
ok0048_explicitTypeInst.fram		ok0048_explicitTypeInst.fram
ok0049_expilicitInstOrder.fram		ok0049_expilicitInstOrder.fram
ok0050_typeArgRename.fram		ok0050_typeArgRename.fram
ok0051_existentialTypePattern.fram		ok0051_existentialTypePattern.fram
ok0052_emptyMatch.fram		ok0052_emptyMatch.fram
ok0053_firstClassHandler.fram		ok0053_firstClassHandler.fram
ok0054_firstClassHandler.fram		ok0054_firstClassHandler.fram
ok0055_complexHandlers.fram		ok0055_complexHandlers.fram
ok0056_complexHandlers.fram		ok0056_complexHandlers.fram
ok0057_dataArgLabels.fram		ok0057_dataArgLabels.fram
ok0058_unitState.fram		ok0058_unitState.fram
ok0059_effectArg.fram		ok0059_effectArg.fram
ok0060_returnFinally.fram		ok0060_returnFinally.fram
ok0061_returnFinallyMatch.fram		ok0061_returnFinallyMatch.fram
ok0062_theLabel.fram		ok0062_theLabel.fram
ok0063_firstClassLabel.fram		ok0063_firstClassLabel.fram
ok0064_typeAnnot.fram		ok0064_typeAnnot.fram
ok0065_effectName.fram		ok0065_effectName.fram
ok0066_method.fram		ok0066_method.fram
ok0067_pureMethod.fram		ok0067_pureMethod.fram
ok0068_shadowCtors.fram		ok0068_shadowCtors.fram
ok0069_effectCtorArg.fram		ok0069_effectCtorArg.fram
ok0070_effectMethodArg.fram		ok0070_effectMethodArg.fram
ok0071_numbers.fram		ok0071_numbers.fram
ok0072_strings.fram		ok0072_strings.fram
ok0073_extern.fram		ok0073_extern.fram
ok0074_implicitWithType.fram		ok0074_implicitWithType.fram
ok0075_effectsFromImplicits.fram		ok0075_effectsFromImplicits.fram
ok0076_ifExpr.fram		ok0076_ifExpr.fram
ok0077_effectResume.fram		ok0077_effectResume.fram
ok0078_unitMethods.fram		ok0078_unitMethods.fram
ok0079_impureMethod.fram		ok0079_impureMethod.fram
ok0080_moduleDef.fram		ok0080_moduleDef.fram
ok0081_nestedModule.fram		ok0081_nestedModule.fram
ok0082_moduleDataDef.fram		ok0082_moduleDataDef.fram
ok0083_pubPatternMatch.fram		ok0083_pubPatternMatch.fram
ok0084_operators.fram		ok0084_operators.fram
ok0085_letChecked.fram		ok0085_letChecked.fram
ok0086_optionState.fram		ok0086_optionState.fram
ok0087_opratorOverloading.fram		ok0087_opratorOverloading.fram
ok0088_abstractData.fram		ok0088_abstractData.fram
ok0089_pubPat.fram		ok0089_pubPat.fram
ok0090_lists.fram		ok0090_lists.fram
ok0091_namedParamMethod.fram		ok0091_namedParamMethod.fram
ok0092_multipleNamedMethodParams.fram		ok0092_multipleNamedMethodParams.fram
ok0093_specialBinops.fram		ok0093_specialBinops.fram
ok0094_unaryIf.fram		ok0094_unaryIf.fram
ok0095_wildcardTypeParam.fram		ok0095_wildcardTypeParam.fram
ok0096_fixTypeAnnot.fram		ok0096_fixTypeAnnot.fram
ok0097_recursion.fram		ok0097_recursion.fram
ok0098_mutualRecursion.fram		ok0098_mutualRecursion.fram
ok0099_nestedEffArrows.fram		ok0099_nestedEffArrows.fram
View all files