• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for alms-0.4.11 source tarball

alms-0.4.11/

• LICENSE
• Makefile
• README
• Setup.hs
• TODO
• alms.cabal
• examples/
  • echoServer.alms
  • ex01-poly.alms
  • ex01.alms
  • ex02-poly-type-error.alms
  • ex02-type-error.alms
  • ex03-blame-error.alms
  • ex03-poly-blame-error.alms
  • ex04-poly.alms
  • ex04.alms
  • ex05-poly.alms
  • ex05.alms
  • ex06-poly-type-error.alms
  • ex06-type-error.alms
  • ex07-poly.alms
  • ex07.alms
  • ex08-blame-error.alms
  • ex08-poly-blame-error.alms
  • ex09-dynamic-promotion-poly.alms
  • ex09-dynamic-promotion.alms
  • ex10-dynamic-promotion-blame-error.alms
  • ex10-dynamic-promotion-poly-blame-error.alms
  • ex11-affine-type-error.alms
  • ex12-affine-type-error.alms
  • ex25-io.alms
  • ex26-let-bang-array.alms
  • ex27-focusing-and-adoption.alms
  • ex28-focusing-and-adoption.alms
  • ex31-exceptions.alms
  • ex32-exceptions.alms
  • ex33-session-types.alms
  • ex34-session-types.alms
  • ex35-session-types-type-error.alms
  • ex36-session-types-type-error.alms
  • ex37-session-types-type-error.alms
  • ex38-session-types-type-error.alms
  • ex40-signatures.alms
  • ex41-signatures-type-error.alms
  • ex42-signatures-type-error.alms
  • ex43-signatures-type-error.alms
  • ex44-signatures-type-error.alms
  • ex45-signatures-type-error.alms
  • ex46-signatures-type-error.alms
  • ex47-signatures.alms
  • ex48-signatures-type-error.alms
  • ex49-signatures-type-error.alms
  • ex50-signatures.alms
  • ex51-signatures-type-error.alms
  • ex52-signatures.alms
  • ex53-signatures.alms
  • ex54-signatures-type-error.alms
  • ex55-signatures-type-error.alms
  • ex56-signatures-type-error.alms
  • ex57-signatures.alms
  • ex60-popl-deposit.alms
  • ex61-popl-AfArray.alms
  • ex62-popl-AfArray-type-error.alms
  • ex63-popl-CapArray.alms
  • ex64-popl-CapLockArray.alms
  • ex65-popl-Fractional.alms
  • ex66-popl-RWLock.alms
  • futures1.alms
  • netcat.alms
  • run-test.sh
  • run-tests.sh
  • session-types-interactive.alms
  • session-types-polygons-1.in
  • session-types-polygons-1.out
  • session-types-polygons-2.in
  • session-types-polygons-2.out
  • session-types-polygons-3.in
  • session-types-polygons-3.out
  • session-types-polygons.alms
  • session-types-polygons2.alms
  • skewness-dynamic-bad.alms
  • skewness-good.alms
  • skewness-static-bad.alms
  • threads1.alms
  • threads2.alms
  • threads3.alms
  • threads4.alms
• lib/
  • libachan.alms
  • libarray.alms
  • libarraycap.alms
  • libbasis.alms
  • libqueue.alms
  • libsessiontype.alms
  • libsessiontype2.alms
  • libsocket.alms
  • libsocketcap.alms
  • libsocketcap2.alms
  • libthread.alms
• src/
  • Basis.hs
  • BasisUtils.hs
  • Coercion.hs
  • Dynamics.hs
  • Env.hs
  • ErrorMessage.hs
  • ErrorST.hs
  • Lexer.hs
  • Loc.hs
  • Main.hs
  • Makefile
  • PDNF.hs
  • Parser.hs
  • Paths.hs
  • Ppr.hs
  • PprClass.hs
  • Prec.hs
  • PrettyPrint.hs
  • Rename.hs
  • Sigma.hs
  • Statics.hs
  • Syntax.hs
  • Token.hs
  • Type.hs
  • TypeRel.hs
  • Util.hs
  • Value.hs
  • Viewable.hs
  • Basis/
    • Array.hs
    • Channel.hs
    • Exn.hs
    • Future.hs
    • IO.hs
    • MVar.hs
    • Socket.hs
    • Thread.hs
    • Channel/
      • Haskell.hs
  • Message/
    • AST.hs
    • Parser.hs
    • Quasi.hs
    • Render.hs
  • Meta/
    • DeriveNotable.hs
    • FileString.hs
    • Quasi.hs
    • QuoteData.hs
    • THHelpers.hs
  • Syntax/
    • Anti.hs
    • Decl.hs
    • Decl.hs-boot
    • Expr.hs
    • Ident.hs
    • Ident.hs-boot
    • Kind.hs
    • Lit.hs
    • Notable.hs
    • POClass.hs
    • Patt.hs
    • SyntaxTable.hs
    • Type.hs